logo
A Logic is Referential iff it is Selfextensional
The First-Order Theories of Dedekind Algebras
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property
A Sahlqvist Theorem for Relevant Modal Logics
An Axiomatization of “Very” within systiems of Set Theory
Amalgamation in Varieties of Pseudo-interior Algebras
The Nature of Logic
Contents of Volume 73