Dynamic Lukasiewicz logic and its application to immune system

It is introduced an immune dynamic n-valued Lukasiewicz logic I DLn on the base of n-valued Lukasiewicz logic L-n and corresponding to it immune dynamic MVn-algebra (I DLn-algebra), 1 < n < omega, which are algebraic counterparts of the logic, that in turn represent two-sorted algebras (M, R, lozenge) that combine the varieties of MVn-algebras M= (M, circle plus, circle dot, similar to, 0, 1) and regular algebras R = ( R, boolean OR, ; ,*) into a single finitely axiomatized variety resembling R-module with scalar multiplication lozenge. Kripke semantics is developed for immune dynamic Lukasiewicz logic I DLn with application in immune system.

Automated summary

An immune dynamic n-valued Lukasiewicz logic I DLn is introduced based on n-valued Lukasiewicz logic L-n, along with the corresponding immune dynamic MVn-algebra. Kripke semantics is developed for this logic with applications in the immune system.