Gentzen-like systems for partial propositional calculi. II

Notre Dame Journal of Formal Logic 12 (2):179-182 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894216

Other Versions

No versions found

Links

PhilArchive



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

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

E. William ChapinJr., Gentzen-like systems for partial propositional calculi. Notre Dame journal of formal logic, vol. 12 , pp. 75–80, and pp. 179–182. [REVIEW]K. Iseki - 1975 - Journal of Symbolic Logic 40 (3):469.
Gentzen-like systems for partial propositional calculi. I.E. William Chapin - 1971 - Notre Dame Journal of Formal Logic 12 (1):75-80.
Results regarding the axiomatization of partial propositional calculi.W. E. Singletary - 1968 - Notre Dame Journal of Formal Logic 9 (3):193-211.
Many-one degrees associated with partial propositional calculi.W. E. Singletary - 1974 - Notre Dame Journal of Formal Logic 15 (2):335-343.
The strong decidability of cut-logics. I. Partial propositional calculi.E. William Chapin - 1971 - Notre Dame Journal of Formal Logic 12 (3):322-328.
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.D. Bollman & M. Tapia - 1972 - Notre Dame Journal of Formal Logic 13 (1):124-128.
Propositional sequence-calculi for inconsistent systems.Andrés R. Raggio - 1968 - Notre Dame Journal of Formal Logic 9 (4):359-366.
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (4):589-597.
Generalizability of the propositional and predicate calculi to infinite-valued calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
Creative definitions in propositional calculi.V. Frederick Rickey - 1975 - Notre Dame Journal of Formal Logic 16 (2):273-294.

Analytics

Added to PP
2010-08-24

Downloads
28 (#799,564)

6 months
15 (#206,160)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references