期刊
SOFT COMPUTING
卷 25, 期 15, 页码 9773-9780出版社
SPRINGER
DOI: 10.1007/s00500-021-05955-3
关键词
Dynamic logic; Lukasiewicz logic; Immune system; Kripke semantics; MV-algebra
资金
- Universita degli Studi di Salerno within the CRUI-CARE Agreement
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.
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据