Artificial Intelligence and Decision Making
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Artificial Intelligence and Decision Making:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Artificial Intelligence and Decision Making, 2014, Issue 2, Pages 19–26 (Mi iipr343)  

This article is cited in 1 scientific paper (total in 1 paper)

Methods of reasoning and knowledge representation

An essay on complex valued propositional logic

Vassil Sgurev

Institute of Information Technologies Bulgarian Academy of Sciences, Sofia
Full-text PDF (252 kB) Citations (1)
Abstract: In the decision making logic it is often necessary solving of logical equations for which, due to the features of disjunction and conjunction, no admissible solutions exist. An approach is suggested in which by introducing of Imaginary Logical Variables (ILV) the classical propositional logic is extended to a complex one. This provides a possibility to solve a large class of logical equations.
The real and imaginary variables each satisfy the axioms of the Boolean algebra and of the lattice. It is shown that the Complex Logical Variables (CLV) observe the requirements of the Boolean algebra and the lattice axioms. Suitable definitions are found for these variables for the operations disjunction, conjunction, and negation.
A series of results are obtained, included also the truth tables of the operations disjunction, conjunction, negation, implication, and equivalence for complex variables. Inference rules are deduced for them analogous to Modus Ponens and Modus Tollens in the classical propositional logic.
Values of the complex variables are obtained, corresponding to TRUE (T) and FALSE (F) in the classic propositional logic. A conclusion may be made from the initial assumptions and the results attained, that the imaginary logical variable i introduced hereby is “truer” than the condition “T” of the classic propositional logic and $\neg$ i – “falser” than the condition “F”, respectively. Possibilities for further investigations of this class of complex logical structures are pointed out.
Keywords: propositional logic, logical equations, complex propositional logic, Boolean algebra, imaginary logical variable, lattice.
English version:
Scientific and Technical Information Processing, 2015, Volume 42, Issue 5, Pages 340–346
DOI: https://doi.org/10.3103/S0147688215050056
Bibliographic databases:
Document Type: Article
Language: English
Citation: Vassil Sgurev, “An essay on complex valued propositional logic”, Artificial Intelligence and Decision Making, 2014, no. 2, 19–26; Scientific and Technical Information Processing, 42:5 (2015), 340–346
Citation in format AMSBIB
\Bibitem{Sgu14}
\by Vassil~Sgurev
\paper An essay on complex valued propositional logic
\jour Artificial Intelligence and Decision Making
\yr 2014
\issue 2
\pages 19--26
\mathnet{http://mi.mathnet.ru/iipr343}
\elib{https://elibrary.ru/item.asp?id=21617688}
\transl
\jour Scientific and Technical Information Processing
\yr 2015
\vol 42
\issue 5
\pages 340--346
\crossref{https://doi.org/10.3103/S0147688215050056}
Linking options:
  • https://www.mathnet.ru/eng/iipr343
  • https://www.mathnet.ru/eng/iipr/y2014/i2/p19
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Artificial Intelligence and Decision Making
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025