Studia Logica, Volume 60

Volume 60, Number 1, January 1998

Wilfried Sieg, Frank Pfenning: Note by the Guest Editors. 1 BibTeX
Francis Jeffry Pelletier: Automated Natural Deduction in Thinker. 3-43 BibTeX
Frederic D. Portoraro: Strategic Construction of Fitch-style Proofs. 45-66 BibTeX
Wilfried Sieg, John Byrnes: Normal Natural Deduction Proofs (in classical logic). 67-106 BibTeX
Roy Dyckhoff, Luis Pinto: Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. 107-118 BibTeX
David A. Basin, Seán Matthews, Luca Viganò: Natural Deduction for Non-Classical Logics. 119-160 BibTeX
Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano: Encoding Modal Logics in Logical Frameworks. 161-208 BibTeX
Grigori Mints: Linear Lambda-Terms and Natural Deduction. 209-231 BibTeX

Anna Gomolinska: On the Logic of Acceptance and Rejection. 233-251 BibTeX
Vladimir Kanovei, Michael Reeken: Elementary Extensions of External Classes in a Nonstandard Universe. 253-273 BibTeX
George Weaver, David Lippel: Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories. 275-297 BibTeX
Marcelo Tsuji: Many-Valued Logics and Suszko`s Thesis Revisited. 299-309 BibTeX
Johan van Benthem: Program Constructions that are Safe for Bisimulation. 311-330 BibTeX

George C. Nelson: Preservation Theorems Without Continuum Hypothesis. 343-355 BibTeX
Marco Hollenberg: Characterizations of Negative Definability in Modal Logic. 357-386 BibTeX
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: Modal Deduction in Second-Order Logic and Set Theory - II. 387-420 BibTeX
Anatolij Dvurecenskij, Hee Sik Kim: Connections Between BCK-algebras and Difference Posetse. 421-439 BibTeX
Max P. Urchs: Books Received: Jürgen Mittelstrass, Enzyklopädie Philosophie und Wissenschaftstheorie. 441-448 BibTeX
Mirna Dzamonja: Saharon Shelah, Cardinal Arithmetic. 443-448 BibTeX