Predicate calculus with free quantifier variables
Journal of Symbolic Logic 34 (1):1-7 (1969)
| 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 |
 |
| Through your library | Configure |
Similar books and articlesRichmond H. Thomason (1968). On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. Journal of Symbolic Logic 33 (1):1-7.
Mati Pentus (1997). Product-Free Lambek Calculus and Context-Free Grammars. Journal of Symbolic Logic 62 (2):648-660.
Dick Jongh & Franco Montagna (1991). Rosser Orderings and Free Variables. Studia Logica 50 (1):71 - 80.
David A. Plaisted (1979). Complete Problems in the First-Order Predicate Calculus. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
V. A. Bocharov (1983). Subject-Predicate Calculus Free From Existential Import. Studia Logica 42 (2-3):209 - 221.
Alex Orenstein (1978). Existence and the Particular Quantifier. Temple University Press.
Nino Cocchiarella (1976). On the Logic of Natural Kinds. Philosophy of Science 43 (2):202-222.
Natasha Alechina (2000). Functional Dependencies Between Variables. Studia Logica 66 (2):273-283.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,239 of 549,005 )Recent downloads (6 months)1 ( #63,261 of 549,005 )How can I increase my downloads? |
My notes
Discussion
