✦ LIBER ✦

A modal interpretation of three-valued logic

✍ Scribed by Peter W. Woodruff

Publisher: Springer Netherlands
Year: 1974
Tongue: English
Weight: 364 KB
Volume: 3
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00257485

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Interpretation of Many-Valued Logic

✍ Alasdair Urquhart 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 258 KB

A spatial modal logic with a location in

A spatial modal logic with a location interpretation

✍ Norihiro Kamide 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB

A spatial modal logic (SML) is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space (or location) interpretation is obtained for SML. The finite model property with respect to the semantics for SML

Data storage interpretation of labeled m

Data storage interpretation of labeled modal logic

✍ Sergei Artëmov; Vladimir Krupski 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 919 KB

Multi-valued logic and Gröner bases with

Multi-valued logic and Gröner bases with applications to modal logic

✍ J. Chazarain; A. Riscos; J.A. Alonso; E. Briales 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 785 KB

Algebraization of the Three-valued BCK-l

Algebraization of the Three-valued BCK-logic

✍ Francisco M. García Olmedo; Antonio J. Rodríguez Salas 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB

A two-valued logic for reasoning about d

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

✍ Beata Konikowska 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t