A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic

DOI10.1093/JIGPAL/JZAA028MaRDI QIDQ5066797zbMATH OpenOpenAlexFDO

Authors

Publication date 30 March 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzaa028

zbMATH Keywords

3-valued logicfunctional completenessKleene's strong 3-valued logicŁukasiewicz's 3-valued logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 7644095
• On the `classical' operations in three-valued logics
• 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
• What difference does it make: Three truth-values or two plus gaps?
• Kleene's Logic, Generalized
• A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics
• Expressive three-valued truth functions
• Three-valued Kleene logics and three-element chains
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
• The cylindric algebras of three-valued logic

Cited in

(7)

• 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
• scientific article; zbMATH DE number 3863112 (Why is no real title available?)
• scientific article; zbMATH DE number 4002066 (Why is no real title available?)
• scientific article; zbMATH DE number 7644095 (Why is no real title available?)
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• On the three-valued expansions of Kleene's logic
• The only 3-valued logic which is a natural implication expansion with the variable-sharing property of Kleene's strong logic

This page was built for publication: A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5066797)