✦ LIBER ✦

Form in logic and in art

✍ Scribed by E. D. Klemke

Publisher: Springer
Year: 1979
Tongue: English
Weight: 944 KB
Volume: 13
Category: Article
ISSN: 0022-5363
DOI: 10.1007/bf00138297

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Subtyping in Logical Form

✍ Ugo de'Liguoro 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 216 KB

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 fr

Continuous Domains in Logical Form

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

A Companion to Philosophical Logic || La

A Companion to Philosophical Logic || Language, Logic, and Form

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 107 KB 👁 3 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

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