Some remarks on the concept of completeness of the propositional calculus. I
Studia Logica 23 (1):55-58 (1968)
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
W. Sadowski (1961). A Proof of Completeness of the Two-Valued Propositional Calculus. Studia Logica 11 (1).
W. V. Quine (1938). Completeness of the Propositional Calculus. Journal of Symbolic Logic 3 (1):37-40.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Igor Walukiewicz (1996). A Note on the Completeness of Kozen's Axiomatisation of the Propositional Μ-Calculus. Bulletin of Symbolic Logic 2 (3):349-366.
Dexter Kozen (1988). A Finite Model Theorem for the Propositional Μ-Calculus. Studia Logica 47 (3):233 - 241.
Adriana Galli, Marta Sagastume & Gonzalo E. Reyes (2000). Completeness Theorems Via the Double Dual Functor. Studia Logica 64 (1):61-81.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,107 of 549,699 )Recent downloads (6 months)1 ( #63,425 of 549,699 )How can I increase my downloads? |
My notes
Discussion
