Abstract
An imaginary logic, i-logic was introduced for solving of some unsolvable problems in the framework of the classical propositional logic. On the other hand similar unsolvable problems arise in the imaginary logic itself. Introduction of a second imaginary j-logic is suggested in the present work through which this insolvability in the i-logic is surmounted. For this purpose constraints are ushered in between the variables classical r-logic and those of the i-logic and j-logic. This gives rise to complex logics—s, s 1 , s 2 , respectively, in which functioning of the r, i, and j-logics is being interpreted. It is shown that all these logics are based on the algebraic structures Boolean algebra and lattice. A rule is proposed through which the contradictions may be avoided at the realization of associativity of disjunction and conjunction. A number of results are received for the behavior of conjunction and disjunction in the complex logics being concerned. On their base two truth tables are filled in and shown for the variables of indices r, i, j, s, s 1 —for conjunction and disjunction separately. It is pointed out that the logical structures being proposed may be considered as a complex multiple-valued logic with 12 states in which three two valued logics with indices r, i, j are interpreted in an appropriate manner. The field of application of the logical structures being investigated are shown.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kleene, S.C., Mathematical Logic, J. Wiley & Sons, N.Y., 1967.
Kowalski, R., Logic for Problem Solving, Elsevier North Holland Inc., 1979.
Sgurev, V., An Essay on Complex Valued Propositional Logic, Artificial intelligence and Decision Making, №2, 2014, pp. 95–101, Institute of System Analysis RAS (Инcтитyт cиcтeмнoгo aнaлизa PAH), http://www.aidt.ru, ISSN 2071-8594.
D.E. Tamir, A. Kandel, Axiomatic Theory of Complex Fuzzy Logic and Complex Fuzzy Classes, Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844, Vol. VI (2011), No. 3 (September), pp. 562–576.
Richard G. Shoup, A Complex Logic for Computation with Simple Interpretations for Physics, Interval Research Palo Alto, CA 94304, http://www.boundarymath.org/papers/CompLogic.pdf.
Igor Aizenberg, Complex-Valued Neural Networks with Multi-Valued Neurons, Springer, 2011.
Louis H. Kauffman, Virtual Logic — The Flagg Resolution, Cybernetics & Human Knowing, Vol. 6, no. 1, 1999, pp. 87–96.
Sgurev, V., An Approach to Constructing a Complex Propositional Logic, Comptes Rendus Acad. Bulg. Sci., Tome 66, № 11, pp. 1623-1632, ISSN 1310_1331, “Marin Drinov” Academic Publishing House, Sofia, 2013.
Sgurev, V., On Way to the Complex Propositional Logic, Int. Conf. “Automatics and Informatics – 2013”, 3–7 Oct., Sofia, Bulgaria. 2013.
Johnson, B., Topics in Universal Algebra, Springer-Verlag, N.Y., 1972.
Ionov, A.S., G.A. Petrov, Quaternion Logic as a Base of New Computational Logic, http://zhurnal.ape.relarn.ru/articles/2007/047.pdf (in Russian).
Hung T. Nguyen, Vladik Kreinovich, Valery Shekhter, On the Possibility of Using Complex Values in Fuzzy Logic For Representing Inconsistencies, http://www.cs.utep.edu/vladik/1996/tr96-7b.pdf.
Chris Lucas, A Logic of Complex Values, Proceedings of the First International Conference on Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics, 1–3 December 2001, University of New Mexico, pp. 121–138. ISBN 1-931233-55.
V. Sgurev, Logical Operations and Inference in the Complex s-logic, Chapter Innovative Issues in Intelligent SystemsVolume 623 of the series Studies in Computational Intelligence pp 141–160, https://doi.org/10.1007/978-3-319-27267-2_5, © Springer International Publishing AG. Part of Springer Nature.
Mendelson, E., Introduction to Mathematical Logic, D.von Nostrand Com. Inc., Princeton, 1975.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Sgurev, V. (2019). S-Logic with First and Second Imaginary States. In: Hadjiski, M., Atanassov, K. (eds) Intuitionistic Fuzziness and Other Intelligent Theories and Their Applications. Studies in Computational Intelligence, vol 757. Springer, Cham. https://doi.org/10.1007/978-3-319-78931-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-78931-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-78930-9
Online ISBN: 978-3-319-78931-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)