A natural deduction system of indexical logic
Notre Dame Journal of Formal Logic 21 (2):351-364 (1980)
| 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,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesYannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2).
Torben Braüner (2004). Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information 13 (1):1-23.
Andrzej Indrzejczak (2003). A Labelled Natural Deduction System for Linear Temporal Logic. Studia Logica 75 (3):345 - 376.
Francis Jeffry Pelletier (1999). A Brief History of Natural Deduction. History and Philosophy of Logic 20 (1):1-31.
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
Maria Da Paz N. Medeiros (2006). A New S4 Classical Modal Logic in Natural Deduction. Journal of Symbolic Logic 71 (3):799 - 809.
Rolf Schock (1980). A Complete System of Indexical Logic. Notre Dame Journal of Formal Logic 21 (2):293-315.
Curtis Franks (2011). Cut as Consequence. History and Philosophy of Logic 31 (4):349-379.
Allard Tamminga (1994). Logics of Rejection: Two Systems of Natural Deduction. Logique Et Analyse 146:169-208.
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.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Barteld Kooi & Allard Tamminga (2012). Completeness Via Correspondence for Extensions of the Logic of Paradox. The Review of Symbolic Logic 5 (4):720-730.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #277,406 of 556,896 )Recent downloads (6 months)1 ( #64,931 of 556,896 )How can I increase my downloads? |
My notes
Discussion
