Reports on Mathematical Logic
, Volume 25
Volume 25, 1991
A. M. Suardíaz
:
On Free De Morgan Algebras Over a Poset.
Electronic Edition
(link)
BibTeX
Andrzej Sendlewski
: Topologicality of Kleene Algebras With a Weak Pseudocomplementation Over Distributive P-Algebras.
BibTeX
Tatsuya Shimura
:
Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz.
Electronic Edition
(link)
BibTeX
Norbert Brunner
:
Cardinality Quantifiers and Choice Principles.
Electronic Edition
(link)
BibTeX
Pawel M. Idziak
: Elementary Theory of Finite Equivalential Algebras.
BibTeX
Adam Kolany
,
Piotr Wojtylak
:
Restricted Versions of the Compactness Theorem.
Electronic Edition
(link)
BibTeX
Wieslaw Dziobiak
: A Finite Matrix Whose Set of Tautologies Is Not Finitely Axiomatizable.
BibTeX
Robert Cowen
:
Hypergraph Satisfiability.
Electronic Edition
(link)
BibTeX
Newton C. A. da Costa
,
Francisco A. Doria
,
N. Papavero
:
Meinong's Theory of Objects and Hilbert's epsilon-Symbol.
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:01 2009 by
Michael Ley
(
ley@uni-trier.de
)