Abstract
A t-norm is a binary operator on [0,1] that is associative,commutative, order-preserving and has identity 1.A t-norm is left-continuous if it is a left-continuous functionin the traditional sense.MTL-chains generalize the notion of a left-continuoust-norm from the unit interval [0,1] to arbitrary boundedchains.The assumption of left-continuity is replaced by theresiduation property.MTL, which stands for Monoidal T-norm Logic, wasformulated by Esteva and Godo as the logic ofleft-continuous t-norms.MTL-algebras are the algebraic semantics of MTL.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
