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
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