Title :
On complete residuated many-valued logics with t-norm conjunction
Author :
Esteva, Francesc ; Godo, Lluís
Author_Institution :
CSIC, Bellaterra, Spain
Abstract :
In this paper we summarize recent results, both logical and algebraic, about [0,1]-valued logical systems having a t-norm and its residuum as truth functions for conjunction and implication. We describe their axiomatic systems and their algebraic varieties, and we stress that the most general variety generated by residuated structures in [0, 1] defined by (left-continuous) t-norms is the variety of pre-linear residuated lattices
Keywords :
multivalued logic; algebraic varieties; axiomatic systems; complete residuated many-valued logics; conjunction; implication; pre-linear residuated lattices; residuated structures; t-norm conjunction; truth functions; Boolean algebra; Costs; Equations; Fuzzy logic; Fuzzy systems; Lattices; Logic functions; Multivalued logic; Stress;
Conference_Titel :
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location :
Warsaw
Print_ISBN :
0-7695-1083-3
DOI :
10.1109/ISMVL.2001.924558
