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
Volume 60, Number 2, March 1998
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
Volume 60, Number 3, May 1998
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
Copyright ©
Wed Dec 16 19:58:27 2009 by
Michael Ley
(
ley@uni-trier.de
)