On the expressive power of three-valued and four-valued languages

Research output: Contribution to journalArticlepeer-review

Abstract

We investigate the expressive power relative to three-valued and four-valued logics of various subsets of the set of connectives which are used in the bilattices-based logics. Our study of a language is done in two stages. In the first stage the ability of the language to characterize sets of tuples of truth-values is determined. In the second stage the results of the first are used to determine its power to represent operations. Special attention is given to the role of monotonicity, closure and freedom properties in classifying languages, as well as to maximality properties (for example: we prove that by adding any nonmonotonic connective to the set of four-valued monotonic connectives, we get a functionally complete set).

Original languageEnglish
Pages (from-to)977-994
Number of pages18
JournalJournal of Logic and Computation
Volume9
Issue number6
DOIs
StatePublished - Dec 1999

Fingerprint

Dive into the research topics of 'On the expressive power of three-valued and four-valued languages'. Together they form a unique fingerprint.

Cite this