1. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof;Andrews,2002
2. Lattices and Ordered Algebraic Structures;Blyth,2005
3. A similarity-based generalization of fuzzy orderings preserving the classical axioms;Bodenhofer;International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems,2000
4. Leibniz's syllogistico-propositional calculus;Castañeda;Notre Dame Journal of Formal Logic,1976
5. Algebraic Foundations of Many-valued Reasoning;Cignoli,2000