Dynamic Łukasiewicz logic and its application to immune system

DOI10.1007/s00500-021-05955-3zbMath1498.03059OpenAlexW3175992135MaRDI QIDQ2100245

Revaz Grigolia, Gaetano Vitale, Nunu Mitskevich, Antonio Di Nola

Publication date: 21 November 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-021-05955-3

zbMATH Keywords

dynamic logicMV-algebraKripke semanticsŁukasiewicz logicimmune system

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional dynamic logic for searching games with errors
• Multimodal epistemic Łukasiewicz logics with application in immune system
• An elementary proof of the completeness of PDL
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• Propositional dynamic logic of regular programs
• On monadic MV-algebras
• Dynamic Łukasiewicz logic and dynamic MV-algebras
• Algebraic Analysis of Many Valued Logics
• Organismic sets: II. Some general considerations
• Heterogeneous algebras

This page was built for publication: Dynamic Łukasiewicz logic and its application to immune system