Compactness in first order Lukasiewicz logic

2011 ◽  
Vol 20 (1) ◽  
pp. 254-265 ◽  
Author(s):  
N. R. Tavana ◽  
M. Pourmahdian ◽  
F. Didehvar
Keyword(s):  
Łukasiewicz Logic ◽  
First Order ◽  
Lukasiewicz Logic

scholarly journals Dynamic Łukasiewicz logic and its application to immune system

2021 ◽  
Author(s):  
Antonio Di Nola ◽  
Revaz Grigolia ◽  
Nunu Mitskevich ◽  
Gaetano Vitale
Keyword(s):  
Immune System ◽  
Scalar Multiplication ◽  
Kripke Semantics ◽  
Łukasiewicz Logic ◽  
Lukasiewicz Logic ◽  
Regular Algebras

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.

Dynamic Łukasiewicz Logic and Dynamic MV-algebras

2020 ◽  
Vol 124 ◽  
pp. 103-110
Author(s):  
Antonio Di Nola ◽  
Revaz Grigolia ◽  
Gaetano Vitale
Keyword(s):  
Łukasiewicz Logic ◽  
Lukasiewicz Logic ◽  
Mv Algebras

New phase transitions for formulas in Łukasiewicz logic

2020 ◽  
Vol 14 (6) ◽  
Author(s):  
Mohamed El Halaby ◽  
Areeg Abdalla
Keyword(s):  
Phase Transitions ◽  
Łukasiewicz Logic ◽  
Lukasiewicz Logic ◽  
New Phase
Sign in / Sign up

Export Citation Format

Share Document