Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs Alessandra Carbone OriginalPaper Pages: 315 - 321
A Negationless Interpretation of Intuitionistic Theories. I Victor N. Krivtsov OriginalPaper Pages: 323 - 344
On Definability of the Equality in Classes of Algebras with an Equivalence Relation Pilar Dellunde I Clavé OriginalPaper Pages: 345 - 353
P-Compatible Hypersubstitution and MP-Solid Varieties K. HŁkowskaK. Denecke OriginalPaper Pages: 355 - 363
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction Uwe Petersen OriginalPaper Pages: 365 - 403