n-valued maximal paraconsistent matrices

The articles Maximality and Refutability Skura [(2004). Maximality and refutability. Notre Dame Journal of Formal Logic, 45, 65-72] and Three-valued Maximal Paraconsistent Logics Skura and Tuziak [(2005). Three-valued maximal paraconsistent logics. In Logika (Vol. 23). Wydawnictwo Uniwersytetu Wrocł...

Full description

Saved in:
Bibliographic Details
Published inJournal of applied non-classical logics Vol. 29; no. 2; pp. 171 - 183
Main Author Trybus, Adam
Format Journal Article
LanguageEnglish
Published Taylor & Francis 03.04.2019
Subjects
many-valued logic
maximality
Paraconsistency
refutation
Online AccessGet full text

Cover

More Information
Summary:The articles Maximality and Refutability Skura [(2004). Maximality and refutability. Notre Dame Journal of Formal Logic, 45, 65-72] and Three-valued Maximal Paraconsistent Logics Skura and Tuziak [(2005). Three-valued maximal paraconsistent logics. In Logika (Vol. 23). Wydawnictwo Uniwersytetu Wrocławskiego] introduced a simple method of proving maximality (in the two distinguished senses) of a given paraconsistent matrix. This method stemmed from the so-called refutation calculus, where the focus in on rejecting rather than accepting formulas. The article A Generalisation of a Refutation-related Method in Paraconsistent Logics Trybus [(2018). A generalisation of a refutation-related method in paraconsistent logics. Logic and Logical Philosophy, 27(2). doi: 10.12775/LLP.2018.002 ] was a first step towards generalising the method. In it, a number of 3-valued paraconsistent matrices were shown maximal. In this article we extend these results to cover a number of n-valued (n>2) paraconsistent matrices using the same method.
ISSN:1166-3081
1958-5780
DOI:10.1080/11663081.2019.1578602