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

DOI10.1093/JIGPAL/JZAA028OpenAlexW3045569619MaRDI QIDQ5066797

No author found.

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

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

Related Items (2)

A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ On the three-valued expansions of Kleene's logic

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