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

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

2006-12-19

arxiv.org/abs/math/0612542v1

Mathematics

Logic

12 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Completeness results for many-valued \Lukasiewicz modal systems and relational semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Completeness results for many-valued \Lukasiewicz modal systems and relational semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Completeness results for many-valued \Lukasiewicz modal systems and relational semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-315795