1. Dynamic Łukasiewicz logic and its application to immune system.
- Author
-
Di Nola, Antonio, Grigolia, Revaz, Mitskevich, Nunu, and Vitale, Gaetano
- Subjects
- *
KRIPKE semantics , *IMMUNE system , *ALGEBRAIC logic , *LOGIC , *ALGEBRA - Abstract
It is introduced an immune dynamic n-valued Łukasiewicz logic I D Ł n on the base of n-valued Łukasiewicz logic Ł n and corresponding to it immune dynamic M V n -algebra ( I D L n -algebra), 1 < n < ω , which are algebraic counterparts of the logic, that in turn represent two-sorted algebras (M , R , ◊) that combine the varieties of M V n -algebras M = (M , ⊕ , ⊙ , ∼ , 0 , 1) and regular algebras R = (R , ∪ , ; , ∗) into a single finitely axiomatized variety resembling R-module with "scalar" multiplication ◊ . Kripke semantics is developed for immune dynamic Łukasiewicz logic I D Ł n with application in immune system. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF