Super-Łukasiewicz implicational logics
Yuichi Komori · Nagoya Mathematical Journal · 1978
In the traditional study of Łukasiewicz propositional logic, the finite-valued or infinite-valued linearly ordered model exists at the start, and then the axiomatization of the set of all formulas valid in its model are studied. On the other hand, we are in a point of view such that the set of provable formulas is important and models are no more than means to characterize the set.