✦ LIBER ✦

A paraconsistent extension of Sylvan’s logic

✍ Scribed by A. B. Gordienko

Publisher: Springer US
Year: 2007
Tongue: English
Weight: 160 KB
Volume: 46
Category: Article
ISSN: 0002-5232
DOI: 10.1007/s10469-007-0029-8

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

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

Extensions of Hałkowska–Zajac's three-va

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

✍ Alexej P. Pynko 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 93 KB

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

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

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.