Completeness results for many-valued \Lukasiewicz modal systems and relational semantics

arXivmath/0612542MaRDI QIDQ6478464FDOQ6478464

Publication date: 19 December 2006

Abstract: The paper is dedicated to the problem of adding a modality to the Lukasiewicz many-valued logics in the purpose of obtaining completeness results for Kripke semantics. We define a class of modal many-valued logics and their corresponding Kripke models and modal many-valued algebras. Completeness results are considered through the construction of a canonical model. Completeness is obtained for modal finitely-valued logics but also for a modal many-valued system with an infinitary deduction rule. We introduce two classes of frames for the finitely-valued logics and show that they define two distinct classes of Kripke-complete logics.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

This page was built for publication: Completeness results for many-valued \Lukasiewicz modal systems and relational semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6478464)