Relational and partial variable sets and basic predicate logic
Journal of Symbolic Logic 61 (3):843-872 (1996)
| Abstract | In this paper we study the logic of relational and partial variable sets, seen as a generalization of set-valued presheaves, allowing transition functions to be arbitrary relations or arbitrary partial functions. We find that such a logic is the usual intuitionistic and co-intuitionistic first order logic without Beck and Frobenius conditions relative to quantifiers along arbitrary terms. The important case of partial variable sets is axiomatizable by means of the substitutivity schema for equality. Furthermore, completeness, incompleteness and independence results are obtained for different kinds of Beck and Frobenius conditions | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWilliam M. Farmer & Joshua D. Guttman (2000). A Set Theory with Support for Partial Functions. Studia Logica 66 (1):59-78.
Gerard R. Renardel & de Lavalette (1984). Descriptions in Mathematical Logic. Studia Logica 43 (3).
Michael L. Wage (1979). Almost Disjoint Sets and Martin's Axiom. Journal of Symbolic Logic 44 (3):313-318.
Jaap van Oosten (2011). Partial Combinatory Algebras of Functions. Notre Dame Journal of Formal Logic 52 (4):431-448.
Robert E. Byerly (1982). An Invariance Notion in Recursion Theory. Journal of Symbolic Logic 47 (1):48-66.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Richard Zach (2004). Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω. Journal of Philosophical Logic 33 (2):155-164.
François Lepage (2000). Partial Monotonic Protothetics. Studia Logica 66 (1):147-163.
Jeanleah Mohrherr (1983). Kleene Index Sets and Functional M-Degrees. Journal of Symbolic Logic 48 (3):829-840.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,428 of 549,126 )Recent downloads (6 months)1 ( #63,361 of 549,126 )How can I increase my downloads? |
My notes
Discussion
