10 search results - page 1 / 2 » Classical predicative logic-enriched type theories |
CORR
2008
Springer
13 years 4 months ago
2008
Springer
APAL
2010
13 years 4 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
AIMSA
2004
Springer
13 years 10 months ago
2004
Springer
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...
HOA
1993
13 years 9 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...