Studia Logica, Volume 55

Volume 55, Number 1, July 1995

Maria Luisa Dalla Chiara, Roberto Giuntini: The logics of orthoalgebras. 3-22 BibTeX
Newton C. A. da Costa, Francisco A. Doria: Undecidability, incompleteness and the Arnol'd problems. 23-32 BibTeX
Albert G. Dragálin: Explicit algebraic models for constructive and classical theories with non-standard elements. 33-61 BibTeX
Melvin Fitting: Tableaus for many-valued modal logic. 63-87 BibTeX
Luisa Iturrioz: Symmetrical Heyting algebras with a finite order type of operators. 89-98 BibTeX
Larisa Maksimova: On variable separation in modal and superintuitionistic logics. 99-112 BibTeX
Daniele Mundici: Averaging the truth-value in Lukasiewicz logic. 113-127 BibTeX
Don Pigozzi, Antonino Salibra: The abstract variable-binding calculus. 129-179 BibTeX
Antonio Mario Sette, Walter Alexandre Carnielli: Maximal weakly-intuitionistic logics. 181-203 BibTeX
Dimiter Vakarelov: A duality between Pawlak's knowledge representation systems and BI-consequence systems. 205-228 BibTeX

Vladimir Kanovei, Michael Reeken: Internal approach to external sets and universes (Part I). 229-257 BibTeX
Silvio Ghilardi, Marek W. Zawadowski: Undefinability of propositional quantifiers in the modal system S4. 259-271 BibTeX
Ramon Jansana: Abstract modal logics. 273-299 BibTeX
J. Michael Dunn: Positive modal logic. 301-317 BibTeX
Pere Garcia, Francesc Esteva: On Ockham algebras: congruence lattices and subdirectly irreducible algebras. 319-346 BibTeX

Vladimir Kanovei, Michael Reeken: Internal approach to external sets and universes (Part II). 347-376 BibTeX
Andrzej Sendlewski: Axiomatic extensions of the constructive logic with strong negation and the disjunction property. 377-388 BibTeX
Johan van Benthem, Dag Westerståhl: Directions in generalized quantifier theory. 389-419 BibTeX
Alexander V. Chagrov, L. A. Chagrova: Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. 421-448 BibTeX