DocumentCode
3120582
Title
On complete residuated many-valued logics with t-norm conjunction
Author
Esteva, Francesc ; Godo, Lluís
Author_Institution
CSIC, Bellaterra, Spain
fYear
2001
fDate
2001
Firstpage
81
Lastpage
86
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location
Warsaw
ISSN
0195-623X
Print_ISBN
0-7695-1083-3
Type
conf
DOI
10.1109/ISMVL.2001.924558
Filename
924558
Link To Document