Year-end Sale % OFF 
Abstract
Based on the concept of the complete lattice satisfying the first and second infinite distributive laws, the present paper introduces the semantics of the lattice-valued modal propositional logic. It is pointed out that this semantics generalizes the semantics of both classical modal propositional logic and [0, 1]-valued modal propositional logic. The definition of the QMR 0-algebra is proposed, and both the Boole-typed latticevalued modal propositional logic system B and the QMR 0-typed lattice-valued modal propositional logic system QML* are constructed by use of Boole-algebras and QMR 0-algebras, respectively. The main results of the paper are the completeness theorems of both the system B and QML*.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
