Reports on Mathematical Logic
, Volume 37
Volume 37, 2003
Pilar Dellunde
:
Equality-free Saturated Models.
3-22
Electronic Edition
(link)
BibTeX
Olivier Esser
:
Mildly Ineffable Cardinals and Hiperuniverces.
23-39
Electronic Edition
(link)
BibTeX
L. Dubikajtis
:
On the First Order Logic True in Every Universe (Including the Empty Universe).
41-57
Electronic Edition
(link)
BibTeX
S. Babyonyshev
:
Fully Fregean Logics.
59-77
Electronic Edition
(link)
BibTeX
Yoshihito Tanaka
:
Some Proof Systems for Common Knowledge Predicate.
79-100
Electronic Edition
(link)
BibTeX
Manuel Abad
,
J. Patricio Díaz Varela
,
Marta A. Zander
:
Boolean Algebras with a Distinguished Automorphism.
101-112
Electronic Edition
(link)
BibTeX
J. Gispert i Braso
:
Axiomatic Extensions of the Milpotent Minimum Logic.
113-123
Electronic Edition
(link)
BibTeX
Hiroki Takamura
:
Every Free Biresiduated Lattice is Semisimple.
125-133
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:04 2009 by
Michael Ley
(
ley@uni-trier.de
)