LiU Electronic Press
Full-text not available in DiVA
Author:
Gabbay, D.M. (Department of Computer Science, King's College, London, United Kingdom)
Szalas, Andrzej (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Article in journal (Refereed)
Language:
English
Publisher: Springer
Status:
Published
In:
Studia Logica: An International Journal for Symbolic Logic(ISSN 0039-3215)(EISSN 1572-8730)
Volume:
87
Issue:
1
Pages:
37-50
Year of publ.:
2007
URI:
urn:nbn:se:liu:diva-48366
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-48366
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Keywords(en) :
Conditionals, Higher-order relations, Second-order quantifier elimination
Abstract(en) :

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 Szalas [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. © 2007 Springer Science+Business Media B.V.

Available from:
2009-10-11
Created:
2009-10-11
Last updated:
2011-02-26
Statistics:
8 hits