A note on Prior's systems in ``The theory of deduction''
Notre Dame Journal of Formal Logic 5 (2):139-140 (1964)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesSara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
John Corcoran (1969). Three Logical Theories. Philosophy of Science 36 (2):153-177.
John Corcoran (2009). Aristotle's Demonstrative Logic. History and Philosophy of Logic 30 (1):1-20.
Bolesław Sobociński (1963). A Note on Modal Systems. Notre Dame Journal of Formal Logic 4 (2):155-157.
Bolesław Sobociński (1962). A Note on the Regular and Irregular Modal Systems of Lewis. Notre Dame Journal of Formal Logic 3 (2):109-113.
Francis Jeffry Pelletier (1998). Automated Natural Deduction in Thinker. Studia Logica 60 (1):3-43.
Barteld Kooi & Allard Tamminga (2012). Completeness Via Correspondence for Extensions of the Logic of Paradox. The Review of Symbolic Logic 5 (4):720-730.
Torben Braüner (2004). Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information 13 (1):1-23.
Peter Loptson (1980). Logic and Contingent Existence. History and Philosophy of Logic 1 (1-2):171-185.
Edgar Jose Andrade & Edward Samuel Becerra (2008). Establishing Connections Between Aristotle's Natural Deduction and First-Order Logic. History and Philosophy of Logic 29 (4):309-325.
Allard Tamminga (1994). Logics of Rejection: Two Systems of Natural Deduction. Logique Et Analyse 146:169-208.
Henry E. Allison (1993). Apperception and Analyticity in the B-Deduction. Grazer Philosophische Studien 44:233-252.
Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #202,139 of 551,055 )Recent downloads (6 months)1 ( #63,341 of 551,055 )How can I increase my downloads? |
My notes
Discussion
