Four-valued multi modal epistemic Łukasievicz logic with constants

Author: mariami mateshvili
Keywords: Lukasiewicz logic, Post logic, Epistemic logic
Annotation:

The theory of four-valued multi modal epistemic Łukasievicz logic with constants EŁ 4 c (n), which is an extension of the four-valued Łukasiewicz logic Ł 4 , the language of which is extended by nullary and unary connectives is developed in the work; at the same time it is developed algebraic theory corresponding to this logic. The unary connectives are interpreted as modal operators (knowledge operators). This logic is axiomatically de#ned and the completeness theorem with respect to the variety of corresponding algebras is given. Notice that this logic is applied in studying immune system.