𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Imperatives and logic

✍ Scribed by Jörgen Jörgensen

Publisher
Springer
Year
1937-1938
Tongue
English
Weight
640 KB
Volume
7
Category
Article
ISSN
1876-2514

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

Future imperatives
Future imperatives
✍ Tracey Scott 📂 Article 📅 1997 🏛 John Wiley and Sons ⚖ 84 KB