Reports on Mathematical Logic, Volume 25

Volume 25, 1991

• A. M. Suardíaz:
  On Free De Morgan Algebras Over a Poset.
  
• Andrzej Sendlewski: Topologicality of Kleene Algebras With a Weak Pseudocomplementation Over Distributive P-Algebras.
• Tatsuya Shimura:
  Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz.
  
• Norbert Brunner:
  Cardinality Quantifiers and Choice Principles.
  
• Pawel M. Idziak: Elementary Theory of Finite Equivalential Algebras.
• Adam Kolany, Piotr Wojtylak:
  Restricted Versions of the Compactness Theorem.
  
• Wieslaw Dziobiak: A Finite Matrix Whose Set of Tautologies Is Not Finitely Axiomatizable.
• Robert Cowen:
  Hypergraph Satisfiability.
  
• Newton C. A. da Costa, Francisco A. Doria, N. Papavero:
  Meinong's Theory of Objects and Hilbert's epsilon-Symbol.