Commodious Axiomatization of Quantifiers in Multiple-Valued Logic

Reiner Hähnle. Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. In ISMVL. pages 118-123, 1996. [doi]

Abstract

Abstract is missing.