О критерии паранормальности для $n$-значных логических матриц
##plugins.themes.bootstrap3.article.sidebar##
##plugins.themes.bootstrap3.article.main##
Abstract
As a result of generalization the $n$-valued case of the algorithm for constructing literal paraconsistent / paracomplete logics by combining isomorphs of classical logic, we obtain classes of paraconsistent, paracomplete and paranormal logics. Paranormal logics – logics that are both paraconsistent and paracomplete at the same time. The criterion of the non-verifiability of the Duns Scotus law in the corresponding logical matrix is taken as the criterion of the paraconsistency of logic. The criterion of the non-verifiability of Clavius' law in the corresponding logical matrix is taken as a criterion of the paracompleteness of logic.
The paper considers the type of $n$-valued logical matrices that define paranormal systems. The question of the class of tautologies defined by this type of matrices is investigated. It is proved that according to the class of tautologies, the studied matrices coincide with the four-valued paranormal matrices of the logics $\mathbf V$, $\mathbf{I^1P^1}$ presented in the literature.
##plugins.generic.usageStats.downloads##
##plugins.themes.bootstrap3.article.details##
Copyright (c) 2021 Наталья Евгеньевна Томова
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
References
Томова, 2018 – Томова Н.Е. О свойствах одного класса четырехзначных паранормальных логик // Логические исследования / Logical Investigations. 2018. Т. 24. № 1. С. 75–89.
Томова, 2020 – Томова Н.Е. Об одном классе n-значных литеральных паранепротиворечивых / параполных логик // Логические исследования / Logical Investigations. 2020. Т. 26. № 2. С. 144–159.
Bolc, 1992 – Bolc L., Borowik P. Many-Valued Logics 1: Theoretical Foundations. Springer-Verlag Berlin Heidelberg, 1992. 288 p.
Ciuciura, 2015 – Ciuciura J. A weakly-intuitionistic logic I1 // Logical Investigations. 2015. Vol. 21. No. 2. P. 53–60.
Fern´andez, 2001 – Fern´andez V.L. Semˆantica de Sociedades para L´ogicas n-valentes. Campinas: IFCH-UNICAMP, 2001. 126 p.
Fern´andez, Coniglio, 2003 – Fern´andez V.L., Coniglio M.E. Combining valuations with society semantics // Journal of Applied Non-Classical Logics. 2003. Vol. 13. No. 1. P. 21–46.
Jaskowski, 1969 – Ja´skowski S. A propositional calculus for inconsistent deductive systems // Studia Logica. 1969. Vol. 24. P. 143–157.
Karpenko, 1999 – Karpenko A.S. Ja´skowski’s criterion and three-valued paraconsistent logics // Logic and Logical Philosophy. 1999. Vol. 7. P. 81–86.
Lewin, Mikenberg, 2006 – Lewin R.A., Mikenberg I.F. Literal-paraconsistent and literal-paracomplete matrices // Math. Log. Quart. 2006. Vol. 52. No. 5. P. 478–493.
Popov, 1999 – Popov V.M. On the logics related to A. Arruda’s system V1 // Logic and Logical Philosophy. 1999. Vol. 7. P. 87–90.
Puga, Da Costa, 1988 – Puga L.Z., Da Costa N.C.A. On the imaginary logic of N.A. Vasiliev // Z. Math. Logik Grundl. Math. 1988. Vol. 34. P. 205–211.
Sette, 1973 – Sette A.M. On propositional calculus P1 // Mathemetica Japonicae. 1973. Vol. 18. P. 173–180.
Sette, Carnielli, 1995 – Sette A.M., Carnielli W.A. Maximal weakly-intuitionistic logics // Studia Logica. 1995. Vol. 55. No. 1. P. 181–203.
W´ojcicki, 1984 – W´ojcicki R. Lectures on Propositional Calculi. Wroclaw: Ossolineum, 1984. 292 p.