A decision procedure for Fitch's propositional calculus
Notre Dame Journal of Formal Logic 8 (1-2):101-117 (1967)
| 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,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesDorota Leszczyńska-Jasion (2009). A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S. Journal of Philosophical Logic 38 (2):151 - 177.
Stanisław Jaśkowski (1975). Three Contributions to the Two-Valued Propositional Calculus. Studia Logica 34 (1):121 - 132.
René[from old catalog] Calvache (1966). Tables for the Propositional Calculus (Logico-Mathematical Brain). Miami, Fla..
Wim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
Moti Mizrahi (2012). A Decision Procedure for Evaluating Natural Language Arguments. APA Newsletter on Teaching Philosophy 12 (1):11-12.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
L. Borkowski (1961). A Didactical Approach to the Zero-One Decision Procedure of the Expressions of the First Order Monadic Predicate Calculus. Studia Logica 11 (1):76.
G. Sambin & S. Valentini (1980). A Modal Sequent Calculus for a Fragment of Arithmetic. Studia Logica 39 (2-3):245 - 256.
J. M. Alexander (2013). On the Redress of Grievances. Analysis 73 (2):228-230.
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Dexter Kozen (1988). A Finite Model Theorem for the Propositional Μ-Calculus. Studia Logica 47 (3):233 - 241.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
P. J. Martín & A. Gavilanes (2002). Simultaneous Rigid Sorted Unification for Tableaux. Studia Logica 72 (1):31-59.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #178,517 of 549,013 )Recent downloads (6 months)1 ( #63,261 of 549,013 )How can I increase my downloads? |
My notes
Discussion
