Kazimierz Swirydowicz:
Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+.
3-13
Rafal Urbaniak:
On Ontological Functors of Lesniewski's Elementary Ontology.
15-43
Lloyd Humberstone:
Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples.
45-82
Claudia Sanza:
n x m Lukasiewicz Algebras with Parameters.
83-106
Roland Hinnion:
Intensional Positive Set Theory.
107-125
Juan Climent Vidal, Juan Soliveres Tur:
On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories.
127-158
Marcin Kysiak:
A Note on Transitive Sets without the Foundation Axiom.
159-163