Gentzen-Like Systems for Partial Propositional Calculi

Journal of Symbolic Logic 40 (3):469-469 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272211

Links

PhilArchive



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

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

Review: E. William Chapin, Gentzen-Like Systems for Partial Propositional Calculi. [REVIEW]K. Iseki - 1975 - Journal of Symbolic Logic 40 (3):469-469.
Gentzen-like systems for partial propositional calculi. I.E. William Chapin - 1971 - Notre Dame Journal of Formal Logic 12 (1):75-80.
Gentzen-like systems for partial propositional calculi. II.E. William Chapin - 1971 - Notre Dame Journal of Formal Logic 12 (2):179-182.
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Normalization and Cut-Elimination in First-Order Logic.Anthony Michael Ungar - 1986 - Dissertation, Stanford University
Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.
Translations and Structure for Partial Propositional Calculi.E. William Chapin Jr - 1974 - Studia Logica 33 (1):35 - 57.
Translations and structure for partial propositional calculi.E. William Chapin - 1974 - Studia Logica 33 (1):35-57.
The strong decidability of cut-logics. I. Partial propositional calculi.E. William Chapin - 1971 - Notre Dame Journal of Formal Logic 12 (3):322-328.
Gentzen's Method for the Many-Valued Propositional Calculi.Vladimir G. Kirin - 1967 - Journal of Symbolic Logic 32 (4):538-539.
Gentzen's Method for the Many-Valued Propositional Calculi.Vladimir G. Kirin - 1966 - Mathematical Logic Quarterly 12 (1):317-332.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
Review: Vladimir G. Kirin, Gentzen's Method for the Many-Valued Propositional Calculi. [REVIEW]Akira Nakamura - 1967 - Journal of Symbolic Logic 32 (4):538-539.

Analytics

Added to PP
2017-02-21

Downloads
2 (#1,800,073)

6 months
2 (#1,192,610)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references