Abstract
In [1], McCall and I offered an axiomatization of the implicational fragment of the 3-valued Łukasiewiczian system defined in [2]. The following axiom schemata sufficed, together with the rule of modus ponens.1
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have