Fuzzy Predicate Product Logic and Embeddings of Ordered Abelian Groups. - Shirin Malekpour (2004)

Provability in predicate product logic. - Michael C. Laskowski; Shirin Malekpour (Arch. Math. Log., 2007)