Five-valued multi modal epistemic Łukasievicz logic with constants

Author: Zurab Vashakidze
Keywords: Lukasiewicz logic, Post logic, Epistemic logic
Annotation:

The theory of five-valued multi modal epistemic Łukasievicz logic with constants EŁ5c(n), which is an extension of the five-valued Łukasiewicz logic Ł5, 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 defined and the completeness theorem with respect to the variety of corresponding algebras is given. Notice that this logic is applied in studying immune system.

Lecture files:

ზურაბ-ვაშაკიძე-GEO [ka]
Zurab-Vashakidze-ENG [en]