Suszko's contribution to the theory of nonaxiomatic proof systems

Bulletin of the Section of Logic 38 (3/4):151-161 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations.Anita Wasilewska - 1984 - Studia Logica 43 (4):395 - 404.
The Suszko operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.
Applying the contribution principle.Christian Barry - 2005 - Metaphilosophy 36 (1-2):210-227.
Decomposition proof systems for gödel-Dummett logics.Arnon Avron & Beata Konikowska - 2001 - Studia Logica 69 (2):197-219.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Categorical abstract algebraic logic: The categorical Suszko operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Proof of a conjecture of Roman Suszko.Stanislaw Zachorowski - 1975 - Studia Logica 34 (3):253 - 256.
A proof of a conjecture of R. Suszko.Stanis law Zachorowski - 1975 - Bulletin of the Section of Logic 4 (3):115-117.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.

Analytics

Added to PP
2013-12-22

Downloads
22 (#666,248)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Indrzejczak
University of Lodz

Citations of this work

Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.

Add more citations

References found in this work

No references found.

Add more references