On Properties of a Class of Four-valued Paranormal Logics

##plugins.themes.bootstrap3.article.main##

N. E. Tomova

Abstract

The paper is devoted to the results obtained during the investigation of a class of four- valued literal paranormal logics, i.e. logic, which are simultaneously paraconsistent and parapcomplete at the level of literals; that is, formulas that are propositional letters or their iterated negations. Paraconsistent logic allows the possibility of operating with conflicting information, parapcomplete logic allows us to build reasoning in conditions of incomplete information. With both types of uncertainty, with both inconsistent and incomplete information, paranormal systems work. In [5] the class of four-valued literal paralogics obtained by combining isomorphs of classical logic, which are contained in four- valued logic of Bochvar $\mathbf{B}_4$, is considered. As a result, together with the isomorphs themselves, logical matrices that correspond to these logics form a ten-element upper semilattice with respect to the functional embedding of one matrice into another. In this paper we investigate the class of matrices that make up the supremum of the said semilattice. The matrices of this class have interesting functional properties, namely, they correspond to the class of all external four-valued functions. The paper also provides an algorithm for constructing a perfect disjunctive $\mbox{$J$}$-normal form of a four-valued external function. As it turned out, there are well-known logics in the literature that are functionally equivalent to the logics of the class in question. For example, one of them is the logic ${\bf V}$ [17], which is a formalization of intuitions of N.A. Vasilyev’s imaginary logic of. Thus, we have considered the question of the correlation of all these systems both in the class of tautologies and in the class of valid consequence relations. As a result, it is proved that all systems are equivalent in the tautological class, but they differ in the properties of the consequence relation. DOI: 10.21146/2074-1472-2018-24-1-75-89

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. 1938. Вып. 4. № 2. C. 287–308.
Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. 1 // Исследования по математической лингвистике, математической логике и информационным языкам М.: Наука, 1972. С. 238–295.
Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е. В границах трехзначности. М.: ИФ РАН, 2015. 136 с.
Девяткин Л.Ю. Неклассические модификации многозначных матриц классической логики. Ч. I // Логические исследования. 2016. Т. 22. № 2. С. 27–58.
Карпенко А.С., Томова Н.Е. Трехзначная логика Бочвара и литеральные паралогики. М.: ИФ РАН, 2016. 110 с.
Попов В.М. Об одной паранормальной логике // Смирновские чтения: Материалы 4-й Международ. конф. М.: ИФ РАН, 2003. С. 46–49.
Попов В.М. Секвенциальная аксиоматизация паранормальной логики PContPComp // Логические исследования. Т. 17. М., 2011. С. 240–245.
Финн В.К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия и логика / Под ред. П.В. Таванца и В.А. Смирнова. М.: Наука, 1974. С. 398–438.
Arieli O., Avron A. Four-valued paradefinite logics // Studia Logica. 2017. Vol. 105. No. 6. P. 1087–1122.
Ciuciura J. A weakly-intuitionistic logic I1 // Logical Investigations. 2015. Vol. 21. No. 2. P. 53–60.
Fernandez V.L., Coniglio M.E. Combining valuations with society semantics // Journal of Applied Non-Classical Logics. 2003. Vol. 13(1). P. 21–46.
Jaskowski S. A propositional calculus for inconsistent deductive systems // Studia Logica. 1969. Vol. 24. P. 143–157.
Lewin R.A., Mikenberg I.F. Literal-paraconsistent and literal-paracomplete matrices // Math. Log. Quart. 2006. Vol. 52. No. 5. P. 478–493.
Lukasiewicz J., Tarski A. (1930). Investigations into the sentential calculus // Lukasiewicz J., Selected Works, North-Holland & PWN, Amsterdam & Warszawa, 1970. P. 131–152.
Popov V.M. On the logics related to A. Arruda’s system V1 // Logic and Logical Philosophy. 1999. Vol. 7. P. 87–90.
Priest G., Tanaka K., Weber Z. Paraconsistent logic // Stanford Encyclohdia of Philosophy. 2013. URL: http://plato.stanford.edu/entries/logic-paraconsistent (дата обращения: 23.03.2018).
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.
Wojcicki R. Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer, 1988. 474 p.