Dynamic Łukasiewicz logic and its application to immune system

2021 
It is introduced an immune dynamic n-valued Łukasiewicz logic $$ID{\L }_n$$ on the base of n-valued Łukasiewicz logic $${\L }_n$$ and corresponding to it immune dynamic $$MV_n$$ -algebra ( $$IDL_n$$ -algebra), $$1< n < \omega $$ , which are algebraic counterparts of the logic, that in turn represent two-sorted algebras $$(\mathcal {M}, \mathcal {R}, \Diamond )$$ that combine the varieties of $$MV_n$$ -algebras $$\mathcal {M} = (M, \oplus , \odot , \sim , 0,1)$$ and regular algebras $$\mathcal {R} = (R,\cup , ;, ^*)$$ into a single finitely axiomatized variety resembling R-module with “scalar” multiplication $$\Diamond $$ . Kripke semantics is developed for immune dynamic Łukasiewicz logic $$ID{\L }_n$$ with application in immune system.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    18
    References
    1
    Citations
    NaN
    KQI
    []