43 search results - page 2 / 9 » Extensional Reasoning |
FLOPS
1999
Springer
13 years 9 months ago
1999
Springer
DEXAW
2007
IEEE
13 years 12 months ago
2007
IEEE
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
TPHOL
2005
IEEE
13 years 11 months ago
2005
IEEE
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
APLAS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...