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

Simple item page
dc.creatorHansoul, Georges
dc.creatorTeheux, Bruno
dc.date2006-12-19
dc.date.accessioned2026-07-07T07:36:02Z
dc.date.available2026-07-07T07:36:02Z
dc.descriptionThe 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.
dc.description12 pages
dc.identifierhttps://arxiv.org/abs/math/0612542
dc.identifierhttp://arxiv.org/abs/math/0612542
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/120292
dc.subjectLogic
dc.subject03B45, 03B50
dc.titleCompleteness results for many-valued \Lukasiewicz modal systems and relational semantics
dc.typetext

Files

Collections

arXiv