𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the structure of paraconsistent extensions of Johansson's logic

✍ Scribed by Sergei P. Odintsov

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

No coin nor oath required. For personal study only.

✦ Synopsis

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 negative logics (with axiom Β¬p), and the class Par of proper paraconsistent Lj-extensions. For elements of Par, we define their intuitionistic and negative counterparts from classes Int and Par, respectively, and study to which extend paraconsistent logics are determined by their counterparts. To this end we need special presentation of j -algebras, which is also given in the article. In conclusion, we study Kripke semantics for paraconsistent Lj-extensions.

πŸ“œ SIMILAR VOLUMES

Extensions of the provability logic
Extensions of the provability logic
✍ A. Yu. Muravitskii πŸ“‚ Article πŸ“… 1983 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 494 KB
On triangular norm based axiomatic exten
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
✍ Carles Noguera; Francesc Esteva; Joan Gispert πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 285 KB πŸ‘ 1 views

## Abstract In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic (WNM) and its t‐norm based axiomatic extensions. We consider the algebraic counterpart of WNM, the variety of WNM‐algebras (π•Žβ„•π•„) and prove that it is locally finite, so all its subvarieties are gen