✦ LIBER ✦

Negation as Cancellation, and Connexive Logic

✍ Scribed by Graham Priest

Book ID: 110233966
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 53 KB
Volume: 18
Category: Article
ISSN: 0167-7411
DOI: 10.1023/a:1006294205280

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Defeasible logic versus Logic Programmin

Defeasible logic versus Logic Programming without Negation as Failure

✍ G. Antoniou; M.J. Maher; D. Billington 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 132 KB

Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. In this paper we compare the expressive power of tw

Negation and Paraconsistent Logics

✍ Soma Dutta; Mihir K. Chakraborty 📂 Article 📅 2011 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 186 KB

Combining explicit negation and negation

Combining explicit negation and negation by failure via Belnap's logic

✍ Paul Ruet; François Fages 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 1021 KB

IF Modal Logic and Classical Negation

✍ Tero Tulenheimo 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 503 KB

Negation in Traditional and Modern Logic

✍ Rupert Clendon Lodge 📂 Article 📅 1920 🏛 Oxford University Press 🌐 English ⚖ 263 KB

Negation-as-failure rule for general log

Negation-as-failure rule for general logic programs with equality

✍ Van Tu Le 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 502 KB