INTENSIONAL FIRST-ORDER LOGIC WITH TYPES
Download:
by Chris Fox A, Carl Pollard C
http://www.dcs.kcl.ac.uk/staff/lappin/papers/fox-lappin-pollard-lola02_ptct.pdf
Add To MetaCart
Abstract:
Abstract. The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. Some extensions to the type theory are discussed, type polymorphism, and enriching the system with sufficient number theory to account for quantifiers of proportion, such as “most.” 1.
Citations
| 52 | Frege structures and the notions of proposition, truth, and set – Aczel - 1980 |
| 3 | The Ontology of Language – Fox - 2000 |
| 1 | Discourse representation, type theory and property theory – thesis - 1994 |
