Reports on Mathematical Logic

No. 37 (2003)


 

P. Dellunde: Equality-free saturated models;  pp. 3-22; Abstract  Full text - pdf

O. Esser: Mildly ineffable cardinals and hiperuniverces; pp. 23-39; Abstract  Full text - pdf

L. Dubikajtis: On the First Order Logic true in every universe (including the empty universe);  pp. 41-57; Abstract  Full text - pdf

S. Babyonyshev: Fully Fregean logics; pp. 59-77; Abstract  Full text - pdf

Y. Tanaka: Some proof systems for common knowledge predicate;  pp. 79-100; Abstract  Full text - pdf

M. Abad, J. P. D. Varela and M. Zander: Boolean algebras with a distinguished automorphism; pp. 101-112; Abstract  Full text - pdf

J. Gispert i Braso: Axiomatic extensions of the milpotent minimum logic; pp. 113-123; Abstract  Full text - pdf

H. Takamura: Every free biresiduated lattice is semisimple; pp. 125-133; Abstract  Full text - pdf


Back to Main Menu