Geodesic
Fuzzy logics with modalities
Algebra i logika, Tome 45 (2006) no. 6, pp. 731-757

Voir la notice de l'article provenant de la source Math-Net.Ru

We explore the basic fuzzy logic $BL$ as well as propositional fuzzy logics with modalities $\Box$ and $\diamond$ and a total accessibility relation. Formulations and proofs are given to replacement theorems for $BL$. A basic calculus of modal fuzzy logic is introduced. For this calculus and its extensions, we prove replacement and deduction theorems.
Keywords: basic fuzzy logic, $BL$-algebra, modality, Kripke $L$-structure, schematic extension, replacement theorem, deduction theorem.
Mots-clés : calculus 
@article{AL_2006_45_6_a4,
     author = {O. V. Zeeval'd},
     title = {Fuzzy logics with modalities},
     journal = {Algebra i logika},
     pages = {731--757},
     publisher = {mathdoc},
     volume = {45},
     number = {6},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2006_45_6_a4/}
}
TY  - JOUR
AU  - O. V. Zeeval'd
TI  - Fuzzy logics with modalities
JO  - Algebra i logika
PY  - 2006
SP  - 731
EP  - 757
VL  - 45
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2006_45_6_a4/
LA  - ru
ID  - AL_2006_45_6_a4
ER  - 
%0 Journal Article
%A O. V. Zeeval'd
%T Fuzzy logics with modalities
%J Algebra i logika
%D 2006
%P 731-757
%V 45
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2006_45_6_a4/
%G ru
%F AL_2006_45_6_a4
O. V. Zeeval'd. Fuzzy logics with modalities. Algebra i logika, Tome 45 (2006) no. 6, pp. 731-757. http://geodesic.mathdoc.fr/item/AL_2006_45_6_a4/