Abstract
A modalized Łukasiewicz three-valued propositional logic will be proposed in this paper which there are three modalities [t]; [m]; [f] to represent the three values t; m; f; respectively. And a Gentzen-typed deduction system will be given so that the the system is sound and complete with respect to the Łukasiewicz three-valued semantics Ł 3 , which are given in soundness theorem and completeness theorem.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have