✦ LIBER ✦

The Disjunction Property in the Class of Paraconsistent Extensions of Minimal Logic

✍ Scribed by M. V. Stukachyova

Book ID: 111570499
Publisher: Springer US
Year: 2004
Tongue: English
Weight: 255 KB
Volume: 43
Category: Article
ISSN: 0002-5232
DOI: 10.1023/b:allo.0000020851.15017.5e

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Class of Extensions of Nelson's Para

The Class of Extensions of Nelson's Paraconsistent Logic

✍ Sergei P. Odintsov 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 265 KB

A method of proving interpolation in par

A method of proving interpolation in paraconsistent extensions of the minimal logic

✍ L. L. Maksimova 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 213 KB

Axiomatic extensions of the constructive

Axiomatic extensions of the constructive logic with strong negation and the disjunction property

✍ Andrzej Sendlewski 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 705 KB

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

Transfer theorems for extensions of the

Transfer theorems for extensions of the paraconsistent Nelson logic

✍ S. P. Odintsov 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 262 KB

The lattice of extensions of the minimal

The lattice of extensions of the minimal logic

✍ S. P. Odintsov 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 994 KB