On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice

Details On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice

2008-11-13

arxiv.org/abs/0811.2107v2

Mathematics

Logic

Corrected typos

Scientific paper

This paper deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated in the residuated lattice (and so defining the minimum modal logic), the ones evaluated in the idempotent elements and the ones evaluated in 0 and 1. We show how to expand an axiomatization, with canonical constants in the language, of a finite residuated lattice into one of the modal logic, for each one of the three basic classes of Kripke frames, over the very lattice. And we also give axiomatizations for the case of a finite MV chain but this time without canonical constants.

Affiliated with

Also associated with

No associations

Rating

On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice 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 On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-435769