Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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, Luís 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 17:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
