1. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof;Andrews,2002
2. Algebraic Foundations of Many-valued Reasoning;Cignoli,2000
3. On fuzzy syllogisms;Dubois;Comput. Intell.,1988
4. Monoidal t-norm based logic: towards a logic for left-continuous t-norms;Esteva;Fuzzy Sets Syst.,2001
5. Fuzzy Quantifiers: A Computational Theory;Glöckner,2006