Gernot Salzer Optimal Axiomatizations of Finitely Valued Logics. 185-205 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#Salzer00