A shortest single axiom for the classical equivalential calculus
Notre Dame Journal of Formal Logic 19 (1):141-144 (1978)
| 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.
L. Wos, S. Winker, R. Veroff, B. Smith & L. Henschen (1983). 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.
Dolph Ulrich (1996). The Shortest Possible Length of the Longest Implicational Axiom. Journal of Philosophical Logic 25 (1):101 - 108.
Branden Fitelson & Larry Wos (2001). Finding Missing Proofs with Automated Reasoning. Studia Logica 68 (3):329-356.
T. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Jacek K. Kabziński (1982). Basic Properties of the Equivalence. Studia Logica 41 (1):17 - 40.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Katarzyna Slomczyńska (2005). Free Spectra of Linear Equivalential Algebras. Journal of Symbolic Logic 70 (4):1341 - 1358.
Robert E. Tax (1973). On the Intuitionistic Equivalential Calculus. Notre Dame Journal of Formal Logic 14 (4):448-456.
Janusz Czelakowski (1981). Equivalential Logics (I). Studia Logica 40 (3):227 - 236.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,316 of 549,013 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
