N-valued maximal paraconsistent matrices. Issue 2 (3rd April 2019)

• Record Type: Journal Article
• Authors: Trybus, Adam
• Is Part Of: Journal of applied non-classical logics. Volume 29:Issue 2(2019)
• Page Start: 171
• Page End: 183
• Publication Date: 2019-04-03
• Subjects: Paraconsistency -- refutation -- maximality -- many-valued logic; Nonclassical mathematical logic -- Periodicals; Wiskundige logica; Logic; Periodicals; 511.3105
• DOI: 10.1080/11663081.2019.1578602
• Languages: English
• ISSNs: 1166-3081

Abstract

ABSTRACT: 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.