Studia Logica, Volume 60

Volume 60, Number 1, January 1998

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

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

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