1. Associatively tied implications;Abdel-Hamid;Fuzzy Sets and Systems,2003
2. Representation of prelinear residuated algebras;Abdel-Hamid;International Journal of Computational Cognition,2007
3. Representable biresiduated lattices;Alten;Journal of Algebra,2002
4. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof;Andrews,2002
5. Infinite-valued Gödel logic with 0–1-projections and relativisations;Baaz,1996