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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team