𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Paraconsistent logic from a modal viewpoint

✍ Scribed by Jean-Yves Béziau

Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
92 KB
Volume
3
Category
Article
ISSN
1570-8683

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessity has a paraconsistent behavior. We examine this operator on the one hand in the modal logic S5 and on the other hand in some new four-valued modal logics.

📜 SIMILAR VOLUMES

A knowledge representation perspective:
A knowledge representation perspective: Logics for paraconsistent reasoning
✍ Philippe Besnard; Els Laenens 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 912 KB

Paraconsistent logics are examined as an approach to knowledge representation devoted to the formalization of reasoning in the presence of contradictions. The adequacy of paraconsistent logics in such a perspective is described both on a general level and on a more specific level: discussion involve

A Companion to Philosophical Logic || Mo
A Companion to Philosophical Logic || Modal Logic
✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 121 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.