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 [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272211

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,676

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

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.
Ashworth E. J.. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 , pp. 179–192.Ashworth E. J.. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 227–228. [REVIEW]Martin M. Tweedale - 1971 - Journal of Symbolic Logic 36 (2):323-324.
Singletary W. E.. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 193–211. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.
Bolesław Sobociński. Certain extensions of modal system S4. Notre Dame journal of formal logic, vol. 11 no. 3 , pp. 347–368. - Bolesław Sobociński. Concerning some extensions of S4. Notre Dame journal of formal logic, vol. 12 , pp. 363–370. - G. F. Schumm. Solutions to four modal problems of Sobocinski. Notre Dame journal of formal logic, vol. 12 , pp. 335–340. - J. Jay Zeman. A study of some systems in the neighborhood of S4.4. Notre Dame journal of formal logic, vol. 12 , pp. 341–357. - Bolesław Sobociński. A new class of modal systems. Notre Dame journal of formal logic, vol. 12 , pp. 371–377. - Bolesław Sobociński. A proper subsystem of S4.04. Notre Dame journal of formal logic, vol. 12 , pp. 381–384. [REVIEW]M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602.
Yasuyuki Imai and Kiyoshi Iséki. On axiom systems of propositional calculi. I. Proceedings of the Japan Academy, vol. 41 , pp. 436–439. - Yoshinari Arai. On axiom systems of propositional calculi. II.Proceedings of the Japan Academy, vol. 41 , pp. 440–442. - Yoshinari Arai. On axiom systems of propositional calculi. III.Proceedings of the Japan Academy, vol. 41 , pp. 570–574. - Kiyoshi Iséki. On axiom systems ofpropositional calculi. IV.Proceedings of the Japan Academy, vol. 41 , pp. 575–577. - Kiyoshi Iséki and Shôtarô Tanaka. On axiom systems of propositional calculi. V.Proceedings of the Japan Academy, vol. 41 , pp. 661–662. - Shôtarô Tanaka. On axiom systems ofpropositional calculi. VI.Proceedings of the Japan Academy, vol. 41 , pp. 663–666. - Yoshinari Arai and Kiyoshi Iséki. On axiom systems of propositional calculi. VII.Proceedings of the Japan Academy, vol. 41 , pp. 667–669. - Shôtarô Tanaka. On axiom systems of propositional calculi. VIII.Proceedings of the Japan Academy, vol. [REVIEW]Alan Rose - 1969 - Journal of Symbolic Logic 34 (1):122-124.
Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 , pp. 127–128. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):117-117.
Arnon Avron. Relevance and paraconsistency—a new approach. The journal of symbolic logic, vol. 55 , pp. 707–732. - Arnon Avron. Relevance and paraconsistency—a new approach. Part II: the formal systems. Notre Dame journal of formal logic, vol. 31 , pp. 169–202. - Arnon Avron. Relevance and paraconsistency—a new approach. Part III: cut-free Gentzen-type systems. Notre Dame journal of formal logic, vol. 32 , pp. 147–160. [REVIEW]Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 , pp. 75–80. [REVIEW]Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (1):129-129.

Analytics

Added to PP
2013-11-03

Downloads
54 (#398,413)

6 months
13 (#250,881)

Historical graph of downloads
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