Studia Logica, Volume 55
Volume 55, Number 1, July 1995
- Newton C. A. da Costa, Francisco A. Doria: Undecidability, incompleteness and the Arnol'd problems. 23-32
- Albert G. Dragálin: Explicit algebraic models for constructive and classical theories with non-standard elements. 33-61
- Melvin Fitting: Tableaus for many-valued modal logic. 63-87
- Luisa Iturrioz: Symmetrical Heyting algebras with a finite order type of operators. 89-98
- Larisa Maksimova: On variable separation in modal and superintuitionistic logics. 99-112
- Daniele Mundici: Averaging the truth-value in Lukasiewicz logic. 113-127
- Dimiter Vakarelov: A duality between Pawlak's knowledge representation systems and BI-consequence systems. 205-228
Volume 55, Number 2, September 1995
- Vladimir Kanovei, Michael Reeken: Internal approach to external sets and universes (Part I). 229-257
- Silvio Ghilardi, Marek W. Zawadowski: Undefinability of propositional quantifiers in the modal system S4. 259-271
- Ramon Jansana: Abstract modal logics. 273-299
- J. Michael Dunn: Positive modal logic. 301-317
- Pere Garcia, Francesc Esteva: On Ockham algebras: congruence lattices and subdirectly irreducible algebras. 319-346
Volume 55, Number 3, November 1995
- Vladimir Kanovei, Michael Reeken: Internal approach to external sets and universes (Part II). 347-376
- Andrzej Sendlewski: Axiomatic extensions of the constructive logic with strong negation and the disjunction property. 377-388
- Alexander V. Chagrov, L. A. Chagrova: Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. 421-448
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team