scholarly journals Quantitative Method Based on Cotangent Similarity Degree in Three‐Valued Łukasiewicz Logic

2021 ◽  
Vol 30 (1) ◽  
pp. 134-144
Author(s):  
Yu Peng
2021 ◽  
Author(s):  
Antonio Di Nola ◽  
Revaz Grigolia ◽  
Nunu Mitskevich ◽  
Gaetano Vitale

AbstractIt is introduced an immune dynamic n-valued Łukasiewicz logic $$ID{\L }_n$$ I D Ł n on the base of n-valued Łukasiewicz logic $${\L }_n$$ Ł n and corresponding to it immune dynamic $$MV_n$$ M V n -algebra ($$IDL_n$$ I D L n -algebra), $$1< n < \omega $$ 1 < n < ω , which are algebraic counterparts of the logic, that in turn represent two-sorted algebras $$(\mathcal {M}, \mathcal {R}, \Diamond )$$ ( M , R , ◊ ) that combine the varieties of $$MV_n$$ M V n -algebras $$\mathcal {M} = (M, \oplus , \odot , \sim , 0,1)$$ M = ( M , ⊕ , ⊙ , ∼ , 0 , 1 ) and regular algebras $$\mathcal {R} = (R,\cup , ;, ^*)$$ R = ( R , ∪ , ; , ∗ ) 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$$ I D Ł n with application in immune system.


2020 ◽  
Vol 124 ◽  
pp. 103-110
Author(s):  
Antonio Di Nola ◽  
Revaz Grigolia ◽  
Gaetano Vitale

2006 ◽  
Vol 45 (7) ◽  
pp. 839-868 ◽  
Author(s):  
Josep Maria Font ◽  
Àngel J. Gil ◽  
Antoni Torrens ◽  
Ventura Verdú

2005 ◽  
Vol 13 (5) ◽  
pp. 561-585 ◽  
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay

2009 ◽  
Vol 246 ◽  
pp. 71-85 ◽  
Author(s):  
Tommaso Flaminio ◽  
Elisa B.P. Tiezzi

Sign in / Sign up

Export Citation Format

Share Document