Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
Studia Logica 87 (1):37 - 50 (2007)
| Abstract | Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] and substantially using a third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. | |||||||||
| 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 articlesTommaso Cortonesi, Enrico Marchioni & Franco Montagna (2010). Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. Notre Dame Journal of Formal Logic 52 (4):339-379.
Robert Van Gulick (2004). Higher-Order Global States (Hogs): An Alternative Higher-Order Model of Consciousness. In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Dov M. Gabbay & Andrzej Szałas (2009). Voting by Eliminating Quantifiers. Studia Logica 92 (3):365 - 379.
Ned Block (2011). The Higher Order Approach to Consciousness is Defunct. Analysis 71 (3):419-431.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Juha Kontinen & Jakub Szymanik (2011). Characterizing Definability of Second-Order Generalized Quantifiers. In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Uriah Kriegel (2006). The Same-Order Monitoring Theory of Consciousness. In Uriah Kriegel & Kenneth Williford (eds.), Self-Representational Approaches to Consciousness. MIT Press.
Samuel Alexander (2013). The First-Order Syntax of Variadic Functions. Notre Dame Journal of Formal Logic 54 (1):47-59.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads13 ( #88,007 of 549,550 )Recent downloads (6 months)1 ( #63,397 of 549,550 )How can I increase my downloads? |
My notes
Discussion
