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

DOI10.1093/logcom/9.6.977zbMath0941.03012OpenAlexW1985443719MaRDI QIDQ4943507

Arnon Avron

Publication date: 31 July 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/41679b369fa2a42f1cb19d9b60c8126c186d076c

zbMATH Keywords

monotonicityexpressive powermany-valued logicsknowledge operatorsbilattices-based logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50)

Related Items

De Morgan clones and four-valued logics, О выразительных возможностях отдельных расширений четырехзначной логики Белнапа, ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Four-valued paradefinite logics, Interpolation methods for Dunn logics and their extensions, BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, On the three-valued expansions of Kleene's logic, Maximal and premaximal paraconsistency in the framework of three-valued semantics, The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3, Unnamed Item, Partial and paraconsistent three-valued logics, Generalizing functional completeness in Belnap-Dunn logic, A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3, From Paraconsistent Logic to Dialetheic Logic, Three-Valued Paraconsistent Propositional Logics, Some useful 16-valued logics: How a computer network should think