Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices.

Gernot Salzer

Browse the full CADE paper archive.