A note on Prior's systems in "The theory of deduction"

Notre Dame Journal of Formal Logic 5 (2):139-140 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957805

Links

PhilArchive



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

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

The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
Aristotle's demonstrative logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
A note on modal systems.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (2):155-157.
A note on the regular and irregular modal systems of Lewis.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):109-113.
Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Logic and contingent existence.Peter Loptson - 1980 - History and Philosophy of Logic 1 (1-2):171-185.
Establishing Connections between Aristotle's Natural Deduction and First-Order Logic.Edgar José Andrade & Edward Samuel Becerra - 2008 - History and Philosophy of Logic 29 (4):309-325.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
Apperception and Analyticity in the B-Deduction.Henry E. Allison - 1993 - Grazer Philosophische Studien 44 (1):233-252.
Algorithmic proof methods and cut elimination for implicational logics part I: Modal implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.

Analytics

Added to PP
2010-08-24

Downloads
8 (#1,318,299)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Theory of Implication: Two Corrections.A. N. Prior - 1965 - Mathematical Logic Quarterly 11 (4):381-382.
The Theory of Implication: Two Corrections.A. N. Prior - 1965 - Mathematical Logic Quarterly 11 (4):381-382.

Add more citations

References found in this work

No references found.

Add more references