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

Last update Wed May 22 18:20:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page