𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extensions of Hałkowska–Zajac's three-valued paraconsistent logic

✍ Scribed by Alexej P. Pynko

Publisher
Springer
Year
2002
Tongue
English
Weight
93 KB
Volume
41
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the structure of paraconsistent exten
On the structure of paraconsistent extensions of Johansson's logic
✍ Sergei P. Odintsov 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 229 KB

The aim of this article is to give a compact and self-contained description of the class of paraconsistent extensions of Johansson's (or minimal) logic (denoted Lj). The class of all non-trivial Lj-extensions is divided into three classes: the class Int of intermediate logics, the class Neg of negat

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