Geodesic
Verification of the logical sequence in nonclassical multivalued logic
Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, Tome 50 (2017), pp. 62-82.

Voir la notice de l'article provenant de la source Math-Net.Ru

The article discusses the use of the proposed nonclassical multivalued logics $L_{S_{2}}$. The interpretation of the formulae of this logic is constructed using the algebraic system. $\Sigma(\Omega)$ is a set support, a collection of subsets of the universe $\Omega$. This collection can be created using the operations $\{~\cdot,~+,~\prime~\}$ from the model of sets ${\tilde \aleph _n} = \left\langle {{\aleph _1},{\aleph _2},\ldots,{\aleph _n}} \right\rangle$. This work illustrates the use of multiple-valued logic $L_{S_{2}}$ to solve the problem of the verification of reasoning. It is shown that if the task of verification can be formulated in terms of a correspondence between sets, then the verification of a logical sequence can be made using the extremal properties of the Galois-correspondence. It is necessary to use semantic values of formulas of $L_{S_{2}}$. The semantic value of a formula is a single or multi-element family of constituency sets. The proposed approach allows one to significantly reduce the computational complexity of verification of reasoning in comparison with the algorithms used for the logic of predicates of first order. The paper illustrates the possibility of an algebraic approach laid down by Aristotle, Gergonne, Boole, and Poretsky.
Keywords: logical equations, syllogistic, algebraic ontology, algebraic system, nonparadoxical logical consequence, Boolean algebra
Mots-clés : Galois correspondence. 
@article{IIMI_2017_50_a6,
     author = {Yu. M. Smetanin},
     title = {Verification of the logical sequence in nonclassical multivalued logic},
     journal = {Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta},
     pages = {62--82},
     publisher = {mathdoc},
     volume = {50},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIMI_2017_50_a6/}
}
TY  - JOUR
AU  - Yu. M. Smetanin
TI  - Verification of the logical sequence in nonclassical multivalued logic
JO  - Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta
PY  - 2017
SP  - 62
EP  - 82
VL  - 50
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIMI_2017_50_a6/
LA  - ru
ID  - IIMI_2017_50_a6
ER  - 
%0 Journal Article
%A Yu. M. Smetanin
%T Verification of the logical sequence in nonclassical multivalued logic
%J Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta
%D 2017
%P 62-82
%V 50
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIMI_2017_50_a6/
%G ru
%F IIMI_2017_50_a6
Yu. M. Smetanin. Verification of the logical sequence in nonclassical multivalued logic. Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, Tome 50 (2017), pp. 62-82. http://geodesic.mathdoc.fr/item/IIMI_2017_50_a6/

[1] Smetanin Yu. M., “Algorithm for solving polisillogizm in the orthogonal basis by calculating the constituent sets”, Vestn. Udmurt. Univ. Mat. Mekh. Komp'yut. Nauki, 2010, no. 4, 172–185 | DOI

[2] Smetanin Iu., “Syllogistical system on the basis of the propositional multivalued logic”, 2015 International Conference «Stability and Control Processes» in Memory of V. I. Zubov (SCP), IEEE, 2015, 596–599 | DOI

[3] Smetanin Iu. M., “Multivalued propositional logic with unparadoxical logical consequence”, Ninth Smirnov Readings on Logic, Proceedings of the International Scientific Conference, Sovremennye tetradi, M., 2015, 36–38 (in Russian)

[4] Smetanin Yu. M., “Non-paradoxical logical consequence and the problem of solving ML-equations”, Programmnye Sistemy: Teoriya i Prilozheniya, 7:1(28) (2016), 99–115 (in Russian) | Zbl

[5] Smetanin Yu. M., “Verification of logical consequence, using the calculus of constituent sets and correspondences of Galois”, Programmnye Sistemy: Teoriya i Prilozheniya, 8:2(33) (2017), 69–93 (in Russian)

[6] Smetanin Yu. M., Smetanina L. P., “Logical-semantic model for solving problems of pattern recognition and calculation of risks”, Bulletin of Udmurt University. Series Biology. Earth Sciences, 27:2 (2017), 131–141 (in Russian)

[7] Bocharov V. A., Markin V. I., Syllogistic theories, Progress-Traditsiya, M., 2010, 336 pp.

[8] Shalak V. I., “Syntactic interpretation of categorical attributive propositions”, Logicheskie Issledovaniya, 21:1 (2015), 60–78 (in Russian) | Zbl

[9] Markin V. I., “Syllogistics of actual volumes and logical maintenance of concepts”, Tenth Smirnov Readings on Logic, Proceedings of the International Scientific Conference, Sovremennye tetradi, M., 2017, 90–93 (in Russian)

[10] Finn V. K., “On the non-Aristotelian structure of concepts”, Logicheskie Issledovania, 21:1 (2015), 9–48 (in Russian)

[11] Levich A. P., The art and the method in systems' simulation: variational methods in community ecology, structural and extremal principles, categories and functors, Institute of Computer Science, M.–Izhevsk, 2012, 728 pp.

[12] Vasil'ev S. N., “A method for synthesis of the derivability conditions of the horn and some other formulas”, Siberian Mathematical Journal, 38:5 (1997), 896–906 | DOI | MR | Zbl

[13] Vagin V. N., Zo M. Kh., “Parallel inference in the method of analytical tables”, Programmnye Produkty i Sistemy, 2011, no. 3, 8–13 (in Russian)