Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains
Notre Dame Journal of Formal Logic 24 (2):205-223 (1983)
| 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 articlesJeremy George Peterson (1976). Shortest Single Axioms for the Classical Equivalential Calculus. Notre Dame Journal of Formal Logic 17 (2):267-271.
Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos (2002). Shortest Axiomatizations of Implicational S4 and S. Notre Dame Journal of Formal Logic 43 (3):169-179.
Branden Fitelson & Larry Wos (2001). Finding Missing Proofs with Automated Reasoning. Studia Logica 68 (3):329-356.
John A. Kalman (1978). A Shortest Single Axiom for the Classical Equivalential Calculus. Notre Dame Journal of Formal Logic 19 (1):141-144.
T. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Don Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
Gordon Beavers (1993). Automated Theorem Proving for Łukasiewicz Logics. Studia Logica 52 (2):183 - 195.
Martin Frické Frické (2012). Best-Path Theorem Proving: Compiling Derivations. In James Maclaurin (ed.), Rationis Defensor.
Ortrun Ibens (2002). Connection Tableau Calculi with Disjunctive Constraints. Studia Logica 70 (2):241 - 270.
Janusz Czelakowski (1981). Equivalential Logics (I). Studia Logica 40 (3):227 - 236.
Richard Tursman (1968). The Shortest Axioms of the Implicational Calculus. Notre Dame Journal of Formal Logic 9 (4):351-358.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
