✦ LIBER ✦

About classical logic and imperative programming

✍ Scribed by Jean-Louis Krivine

Publisher: Springer Netherlands
Year: 1996
Tongue: English
Weight: 500 KB
Volume: 16
Category: Article
ISSN: 1012-2443
DOI: 10.1007/bf02127805

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Problems and results for logics about im

Problems and results for logics about imperatives

✍ Jörg Hansen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 318 KB

Deviating from standard possible-worlds semantics, authors belonging to what might be called the 'imperative tradition' of deontic logic have proposed a semantics that directly represents norms (or imperatives). The paper examines possible definitions of (monadic) deontic operators in such a semanti

Parma—bridging the performance gap betwe

Parma—bridging the performance gap between imperative and logic programming

✍ Andrew Taylor 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 677 KB

Parma is an experimental high-performance Prolog compiler for the MIPS RISC architecture [4]. It was the first logic programming implementation to obtain performance comparable to imperative languages. It depends heavily on a global static analysis phase based on abstract interpretation. This paper

Imperatives and logic

✍ Jörgen Jörgensen 📂 Article 📅 1937-1938 🏛 Springer 🌐 English ⚖ 640 KB

Conflicting imperatives and dyadic deont

Conflicting imperatives and dyadic deontic logic

✍ Jörg Hansen 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Logic programming and Σ-programming

✍ A. A. Voronkov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 780 KB

IMPERATIVES, INTENTIONS, AND THE LOGIC O

IMPERATIVES, INTENTIONS, AND THE LOGIC OF "OUGHT"

✍ Sellars, Wilfrid 📂 Fiction 📅 0 🌐 English ⚖ 32 KB