Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
Graduate studies at Western
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  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  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||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Tommaso 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.
Samuel Alexander (2013). The First-Order Syntax of Variadic Functions. Notre Dame Journal of Formal Logic 54 (1):47-59.
Uriah Kriegel (2006). The Same-Order Monitoring Theory of Consciousness. In Uriah Kriegel & Kenneth Williford (eds.), Self-Representational Approaches to Consciousness. MIT Press.
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.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Ned Block (2011). The Higher Order Approach to Consciousness is Defunct. Analysis 71 (3):419 - 431.
Dov M. Gabbay & Andrzej Szałas (2009). Voting by Eliminating Quantifiers. Studia Logica 92 (3):365 - 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). Annotation Theories Over Finite Graphs. Studia Logica 93 (2/3):147 - 180.
Added to index2009-01-28
Total downloads13 ( #95,683 of 740,433 )
Recent downloads (6 months)1 ( #61,802 of 740,433 )
How can I increase my downloads?