✦ LIBER ✦

Subtyping in Logical Form

✍ Scribed by Ugo de'Liguoro

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 216 KB
Volume: 70
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80491-2

No coin nor oath required. For personal study only.

✦ Synopsis

By using intersection types and filter models we formulate a theory of types for a λ-calculus with record subtyping via a finitary programming logic. Types are interpreted as spaces of filters over a subset of the language of properties (the intersection types) which describes the underlying type free realizability structure. We show that such an interpretation is a PER semantics, proving that the quotient space arising from "logical" PERs taken with the intrinsic ordering is isomorphic to the filter semantics of types.

📜 SIMILAR VOLUMES

Continuous Domains in Logical Form

✍ Mathias Kegelmann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 109 KB

Truth and logical form

✍ Robert Cummins 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 939 KB

Logical form and agency

✍ Douglas Walton 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 760 KB

A good deal of Donald Davidson's important and widely influential paper, 'The Logical Form of Action Sentences', 1 is taken up with demonstrating the failure of the Kenny-Chisholm-von Wright style 2 account of the syntax of agency to adequately cope with a varied collection of problems. The approach

Reality and logical form

✍ André Maury 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 585 KB

Deep structure as logical form

✍ Gilbert Harman 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 994 KB

A transformational derivation of a sentence is a sequence of labeled phrase structure trees. The last tree in the sequence represents the surface structure of the sentence. The first tree represents the deep structure of the sentence# Each later tree is derived from its predecessor via the applicati

The logical form of determiners

✍ Peter Ludlow 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 997 KB