✦ LIBER ✦

A note on undefined expression values in programming logics

✍ Scribed by R.D. Tennent

Book ID: 113163083
Publisher: Elsevier Science
Year: 1987
Tongue: English
Weight: 191 KB
Volume: 24
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(87)90158-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on truth value in uncertain logic

✍ Xiaowei Chen; Dan A. Ralescu 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 207 KB

A Note on Three-Valued Logic Simulation

✍ Breuer, Melvin A. 📂 Article 📅 1972 🏛 IEEE 🌐 English ⚖ 535 KB

Note on inter-expressibility of logical

Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics

✍ V. Švejdar 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 55 KB

A Note on Truth-Value Functions in the I

A Note on Truth-Value Functions in the Infinitely Many-Valued Logics

✍ Akira Nakamura 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB 👁 1 views

A note on the stable model semantics for

A note on the stable model semantics for logic programs

✍ Michael Kaminski 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 900 KB

The stable model semantics for logic programs is extended from ground literals onto open literals by augmenting the program language with an infinite set of new constants. This, in turn, leads to a natural translation of logic programs into open default theories. @

A note on three-valued logic and Tarski

A note on three-valued logic and Tarski theorem on truth definitions

✍ Andrea Cantini 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 620 KB