Notre Dame Journal of Formal Logic 4 (4):313-320 (1963)

Abstract
tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending the intelim rules for either one of..
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093957658
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,593
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Hereditarily Structurally Complete Positive Logics.Alex Citkin - 2020 - Review of Symbolic Logic 13 (3):483-502.
Admissibility in Positive Logics.Alex Citkin - 2017 - Logica Universalis 11 (4):421-437.

Add more citations

Similar books and articles

Contra-Classical Logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Truth Table Logic, with a Survey of Embeddability Results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.

Analytics

Added to PP index
2010-08-24

Total views
33 ( #334,809 of 2,462,098 )

Recent downloads (6 months)
1 ( #448,940 of 2,462,098 )

How can I increase my downloads?

Downloads

My notes