Multi-valued semantics: Why and how

Arnon Avron*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Abstract

According to Suszko's Thesis, any multi-valued semantics for a logical system can be replaced by an equivalent bivalent one. Moreover: bivalent semantics for families of logics can frequently be developed in a modular way. On the other hand bivalent semantics usually lacks the crucial property of analycity, a property which is guaranteed for the semantics of multi-valued matrices. We show that one can get both modularity and analycity by using the semantic framework of multi-valued non-deterministic matrices. We further show that for using this framework in a constructive way it is best to view "truth-values" as information carriers, or "information-values".

Original languageEnglish
Pages (from-to)163-182
Number of pages20
JournalStudia Logica
Volume92
Issue number2
DOIs
StatePublished - Jul 2009

Funding

FundersFunder number
Russian Science Foundation809-06

    Keywords

    • Analycity
    • Many-valued logics
    • Modularity
    • Multi-valued semantics
    • Non-deterministic matrices
    • Suszko's thesis

    Fingerprint

    Dive into the research topics of 'Multi-valued semantics: Why and how'. Together they form a unique fingerprint.

    Cite this