On axiomatizability within a system
Journal of Symbolic Logic 18 (1):30-32 (1953)
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRobert J. Titiev (1972). Multidimensional Measurement and Universal Axiomatizability. Theoria 38 (1-2):82-88.
Robert L. Vaught (1967). Axiomatizability by a Schema. Journal of Symbolic Logic 32 (4):473-479.
Andrzej Grzegorczyk (1960). Axiomatizability of Geometry Without Points. Synthese 12 (2-3):228 - 235.
William Craig (2008). The Road to Two Theorems of Logic. Synthese 164 (3):333 - 339.
Philip Kremer & Michael Kremer (2003). Some Supervaluation-Based Consequence Relations. Journal of Philosophical Logic 32 (3):225-244.
Wojciech Zielonka (1989). A Simple and General Method of Solving the Finite Axiomatizability Problems for Lambek's Syntactic Calculi. Studia Logica 48 (1):35 - 39.
Alan Adamson & Robin Giles (1979). A Game-Based Formal System for Ł ${}_{\Infty}$. Studia Logica 38 (1):49 - 73.
W. Craig & R. L. Vaught (1958). Finite Axiomatizability Using Additional Predicates. Journal of Symbolic Logic 23 (3):289-308.
Alan Adamson & Robin Giles (1979). A Game-Based Formal System for Ł∞. Studia Logica 38 (1):49-73.
Răzvan Diaconescu (2004). An Institution-Independent Proof of Craig Interpolation Theorem. Studia Logica 77 (1):59 - 79.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads11 ( #99,611 of 549,224 )Recent downloads (6 months)1 ( #63,397 of 549,224 )How can I increase my downloads? |
My notes
Discussion
