Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools

CORR

2011

Springer

2011

Springer

We propose a new deﬁnition of the representation theorem for many-valued logics, with modal operators as well, and deﬁne the stronger relationship between algebraic models of a given logic and relational structures used to deﬁne the Kripke possible-world semantics for it. Such a new framework oﬀers a new semantics for many-valued logics based on the truth-invariance entailment. Consequently, it is substantially diﬀerent from current deﬁnitions based on a matrix with a designated subset of logic values, used for the satisfaction relation, often diﬃcult to ﬁx. In the case when the many-valued modal logics are based on the set of truthvalues that are complete distributive lattices we obtain a compact autoreferential Kripke-style canonical representation. The Kripke-style semantics for this subclass of modal logics have the joint-irreducible subset of the carrier set of many-valued algebras as set of possible worlds. A signiﬁcant member of this subclass is the paraconsis...

Related Content

Added |
26 Aug 2011 |

Updated |
26 Aug 2011 |

Type |
Journal |

Year |
2011 |

Where |
CORR |

Authors |
Zoran Majkic |

Comments (0)