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