Further axiomatizations of the Ł ukasiewicz three-valued calculus.
F. M. Sioson · Notre Dame Journal of Formal Logic · 1964
A propositional calculus for three-valued logic was first constructed by J. -Lukasiewicz (1920) and subsequently communicated in a lecture before the Polish Philosophical Society.His results were published later [2].In 1931 M. Wajsberg [4] formalized the three-valued logic of -Lukasiewicz by means of two primitive connectives, implication (denoted by C) and negation (denoted by N), and the following axioms stated in the -Lukasiewicz convention:CpCqp