Reports on Mathematical Logic

No. 44 (2008)


Takahiro Seki, Completness of relevant modal logics with disjunctive rules; (Abstract)

Tarek Sayed Ahmed, A categorial approach to amalgamation theorems; (Abstract)

Jerzy Mycka, A simple observation regarding iterations of finite-valued polynomial-time functions; (Abstract)

Francesco Paoli, Antonio Ledda, Roberto Giuntini, Hector Freytes, On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras; (Abstract)

Alejandro Petrovich, Marina Lattanzi, A Duality for (n+1)-valued MV-algebras; (Abstract)

Leonardo Manuel Cabrer, Non canonicity of BL-algebras; (Abstract)

George Voultsadakis, Categorical Abstract Algebraic Logic: Syntactically Algebraizable \(\pi\)-Institutions; (Abstract)

Rodolfo Ertola, Marta Sagastume, Subminimal logic and weak algebras; (Abstract)

 


Accepted for publication:

Stefano Cavagnetto, String Rewriting and Proof Complexity: an interpretation of Resolution; (Abstract)

Tarek Sayed Ahmed, Confirming a Conjecture of Tarski in Algebraic Logic; (Abstract)

Leslaw Borowski, Some corrections to R. Urbaniak's paper on ontological functors of Lesniewski's elementary ontology; (polemics)

Back to Main Menu