Studia Logica, Volume 52

Volume 52, Number 1, February 1993

Josep Maria Font, Ventura Verdú: The lattice of distributive closure operators over an algebra. 1-14 BibTeX
Tsutomu Hosoi, Isao Masuda: A study of intermediate propositional logics on the thrid slice. 15-22 BibTeX
Tatsuya Shimura: Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. 23-40 BibTeX
Katsumi Sasaki: The simple substitution property of the intermediate propositional logics on finite slices. 41-62 BibTeX
Wolfgang Rautenberg: On reduced matrices. 63-72 BibTeX
Nobu-Yuki Suzuki: Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. 73-94 BibTeX
Sergiu Rudeanu: On Lukasiewicz-Moisil algebras of fuzzy sets. 95-112 BibTeX
Richard B. White: A consistent theory of attributes in a logic without contraction. 113-142 BibTeX
Vladimir L. Vasyukov: The completeness of the factor semantics for Lukasiewicz's infinite-valued logics. 143-168 BibTeX

Automated Theorem Proving for Non-Classical Logics

Charles G. Morgan: Introduction. 181 BibTeX
Gordon Beavers: Automated theorem proving for Lukasiewicz logics. 183-196 BibTeX
Ricardo Caferra, Stéphane Demri, Michel Herment: A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. 197-232 BibTeX
Ian P. Gent: Theory matrices (for modal logics) Using alphabetical monotonicity. 233-258 BibTeX
Yue Jun Jiang: A intensional epistemic logic. 259-280 BibTeX
Arthur Buchsbaum, Tarcisio H. C. Pequeno: A reasoning method for a paraconsistent logic. 281-290 BibTeX
Francis Jeffry Pelletier: Identity in modal logic theorem proving. 291-308 BibTeX
Zbigniew Stachniak: An essay on resolution logics. 309-322 BibTeX
André Vellino: The relative complexity of analytic tableaux and SL-resolution. 323-338 BibTeX

David Makinson: Five faces of minimality. 339-380 BibTeX
Greg Restall: How to be really contraction free. 381-392 BibTeX
Adam Kolany: Satisfiability on hypergraphs. 393-404 BibTeX
Dietmar Schweigert: Hybrid terms and sentences. 405-418 BibTeX
Gianpiero Cattaneo, Maria Luisa Dalla Chiara, Roberto Giuntini: Fuzzy intuitionistic quantum logics. 419-442 BibTeX
John K. Slaney: Sentential constants in systems near R. 443-456 BibTeX
Michael Freund: Supracompact inference operations. 457-482 BibTeX

Bernhard Lauth: Inductive inference in the limit for first-order sentences. 491-518 BibTeX
Wolfgang Balzer, Bernhard Lauth, Gerhard Zoubek: A model for science kinematics. 519-548 BibTeX
Paolo Gentilini: Syntactical results on the arithmetical completeness of modal logic. 549-564 BibTeX
Ross T. Brady: Rules in relevant logic-II: formula representation. 565-586 BibTeX
Dev Kumar Roy: Recursive versus recursively enumerable binary relations. 587-594 BibTeX
Gonzalo E. Reyes, Marek W. Zawadowski: Formal systems for modal operators on locales. 595-614 BibTeX