✦ LIBER ✦

The logic of nonmonotonicity

✍ Scribed by John Bell

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 431 KB
Volume: 41
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(90)90048-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Weak nonmonotonic probabilistic logics

✍ Thomas Lukasiewicz 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 321 KB

Logical foundations of nonmonotonic reas

Logical foundations of nonmonotonic reasoning

✍ Nadim Obeid; Raymond Turner 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 935 KB

In this paper we shall review the main approaches to nonmonotonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valuedlpartial models, and conditional. We shall be placing special emphasis on some of the prominent approaches

Nonmonotonic reasoning and logic program

Nonmonotonic reasoning and logic programming

✍ Petr Jirků 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 429 KB

Operational concepts of nonmonotonic log

Operational concepts of nonmonotonic logics part 1: Default logic

✍ G. Antoniou; V. Sperschneider 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 800 KB

Fixed points in the propositional nonmon

Fixed points in the propositional nonmonotonic logic

✍ Grigory F. Shvarts 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 317 KB

We give an explicit description of fixed points for propositional theories in the nonmonotonic logic of McDermott and Doyle. Using this description we refute two claims from McDermott and Doyle's original paper.

On the Nonmonotonicity of (|Im(zn)|)

✍ Bruce Reznick 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 100 KB

We show that the sequence ( |Im(z n )|) is never monotone when z is a non-real complex number, and ( |Re(z n )|) is never monotone, unless z=re i?% , where %=kÂm for some odd m, and r is sufficiently large or sufficiently small. Similar results hold for the length of the projection of z n onto any l