|Títol||On complete residuated many-valued logics with t-norm conjunction|
|Publication Type||Conference Paper|
|Year of Publication||2001|
|Authors||Godo L, Esteva F|
|Conference Name||ISMVL 2001|
|Editor||IEEE Computer Society|
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 in the variety of pre-linear residuated lattices.
- Quant a IIIA