𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A reasoning method for a paraconsistent logic

✍ Scribed by Arthur Buchsbaum; Tarcisio Pequeno

Publisher
Springer Netherlands
Year
1993
Tongue
English
Weight
524 KB
Volume
52
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ 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

Paraconsistent logic from a modal viewpo
Paraconsistent logic from a modal viewpoint
✍ Jean-Yves BΓ©ziau πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 92 KB

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.

A Companion to Philosophical Logic || On
A Companion to Philosophical Logic || On Paraconsistency
✍ Jacquette, Dale πŸ“‚ Article πŸ“… 2006 πŸ› Blackwell Publishing Ltd 🌐 English βš– 129 KB

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A modal logic for subjective default rea
A modal logic for subjective default reasoning
✍ Shai Ben-David; Rachel Ben-Eliyahu-Zohary πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 168 KB

In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If Ξ±, then normally Ξ²". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We prese