119 search results - page 3 / 24 » A First-Order Isomorphism Theorem |
FCT
2003
Springer
13 years 11 months ago
2003
Springer
AAAI
2004
13 years 7 months ago
2004
CADE
2007
Springer
14 years 6 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
CADE
2007
Springer
14 years 6 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
JSYML
2002
13 years 5 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...