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. L-fuzzy quantifiers of the type 〈1〉 determined by measures;Dvořák;Fuzzy Sets and Systems,2009
4. Fuzzy Quantifiers: A Computational Theory;Glöckner,2006
5. Metamathematics of Fuzzy Logic;Hájek,1998