An axiom system for three-valued Łukasiewicz propositional calculus

Luisa Iturrioz. An axiom system for three-valued Łukasiewicz propositional calculus. Notre Dame Journal of Formal Logic, 18(4):616-620, 1977. [doi]

Abstract

Abstract is missing.