Functional completeness of Henkin's propositional fragments
Notre Dame Journal of Formal Logic 1 (3):107-110 (1960)
| 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 articlesIvo Thomas (1960). Independence of Tarski's Law in Henkin's Propositional Fragments. Notre Dame Journal of Formal Logic 1 (1-2):74-78.
Leon Henkin (1949). Fragments of the Propositional Calculus. Journal of Symbolic Logic 14 (1):42-48.
Leon Henkin (1949). The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14 (3):159-166.
Maurice L'Abbé (1951). On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. Journal of Symbolic Logic 16 (1):43-45.
Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (forthcoming). Completeness in Hybrid Type Theory. Journal of Philosophical Logic:1-30.
Alan Rose (1951). Strong Completeness of Fragments of the Propositional Calculus. Journal of Symbolic Logic 16 (3):204.
Yuichi Komori (1986). A New Semantics for Intuitionistic Predicate Logic. Studia Logica 45 (1):9 - 17.
Torben Braüner (2005). Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81 (2):191 - 226.
Ernst Zimmermann (2002). A Predicate Logical Extension of a Subintuitionistic Propositional Logic. Studia Logica 72 (3):401-410.
Heinrich Wansing (1993). Functional Completeness for Subsystems of Intuitionistic Propositional Logic. Journal of Philosophical Logic 22 (3):303 - 321.
Robert Goldblatt (1984). An Abstract Setting for Henkin Proofs. Topoi 3 (1):37-41.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
François Lepage (2000). Partial Monotonic Protothetics. Studia Logica 66 (1):147-163.
Robert M. Solovay (1985). Explicit Henkin Sentences. Journal of Symbolic Logic 50 (1):91-93.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,684 of 551,007 )Recent downloads (6 months)1 ( #63,425 of 551,007 )How can I increase my downloads? |
My notes
Discussion
