A qualitative fuzzy possibilistic logic (Q1344258): Difference between revisions

The authors introduce for possibilistic logics two types of ``qualitative'', i.e. binary possibility-comparing connectives and give Kripke-style semantics for them, thus constituting two logics QFL and \(\text{QFL}'\). Furthermore they introduce a many-valued tense logic MTL with an almost obvious Kripke semantics, give a complete axiomatisation for MTL, and define translations between QFL and MTL as well as between \(\text{QFL}'\) and MTL, which have the essential property that the sets of 1-tautologies for all three logics coincide via these translations.