Reports on Mathematical Logic
, Volume 29
Volume 29, 1995
Aldo V. Figallo
,
Paolo Landini
:
On Generalized I-Algebras and 4-valued Modal Algebras.
3-18
Electronic Edition
(link)
BibTeX
Kazimierz Swirydowicz
: A Remark on the Maximal Extensions of the Relevant Logic R. 19-33
BibTeX
Jerzy Kotas
,
Piotr Wojtylak
:
Finite Distributive Lattices as Sums of Boolean Algebras.
35-40
Electronic Edition
(link)
BibTeX
Katarzyna Slomczynska
: Linear Equivalential Algebras. 41-58
BibTeX
Jerzy Hanusek
:
Decidability of Finite Boolean Algebras with a Distinguished Subset Closed under some Operations.
59-79
Electronic Edition
(link)
BibTeX
Katarzyna Idziak
:
Quasivarieties of Equivalential Algebras.
81-85
Electronic Edition
(link)
BibTeX
Tomasz Kowalski
: The Bottom of the Lattice of BCK-varieties. 87-93
BibTeX
ERRATA to RML 28. 95-99
BibTeX
First German-Polish Workshop on Logic and Logical Philosophy.
101-104
Electronic Edition
(link)
BibTeX
Andrzej Wronski
: Transparent Unification Problem. 105-107
BibTeX
Tomasz F. Skura
:
Some Aspects of Refutation Rules.
109-116
Electronic Edition
(link)
BibTeX
Heinrich Wansing
:
Strong Cut-elimination in Display Logic.
117-131
Electronic Edition
(link)
BibTeX
Greg Restall
:
Display Logic and Gaggle Theory.
133-146
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:03 2009 by
Michael Ley
(
ley@uni-trier.de
)