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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Formalization of Leibniz's notion of existence and of God with Suszko's non-Fregean logic.Jerzy Pluta - 2009 - Bulletin of the Section of Logic 38 (3/4):135-150.
A sequent calculus for Lukasiewicz's three-valued logic based on Suszko's bivalent semantics.Jean-Yves Béziau - 1999 - Bulletin of the Section of Logic 28 (2):89-97.
An Investigation into Intuitionistic Logic with Identity.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2019 - Bulletin of the Section of Logic 48 (4).
Boolean programs and quantified propositional proof systems.Stephen Cook & Michael Soltys - 1999 - Bulletin of the Section of Logic 28 (3):119-129.
Correspondence theory in proof theory.Andrzej Indrzejczak - 2008 - Bulletin of the Section of Logic 37 (3/4):171-183.
Application of the theory of logical matrices in the independence proof.Wojciech Suchon - 1973 - Bulletin of the Section of Logic 2 (2):121-126.
A Completeness Proof For An Infinitary Tense Logic.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.
A Proof Of A Conjecture Of R.Suszko.Stanislaw Zachorowski - 1975 - Bulletin of the Section of Logic 4 (3):115-118.
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts.Torben Braüner - 2022 - Bulletin of the Section of Logic 51 (2):143-162.
Overview of Results Presented in "Trends in Logic XIII". [REVIEW]Mateusz Klonowski - 2017 - Logic and Logical Philosophy 26 (1):137-142.

Analytics

Added to PP
2013-12-22

Downloads
26 (#856,815)

6 months
3 (#1,477,354)

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