scientific article; zbMATH DE number 7644095

DOI10.2143/LEA.252.0.3289034MaRDI QIDQ5871538

Sandra M. López, Gemma Robles

Publication date: 20 January 2023

Title of this publication is not available (Why is that?)

zbMATH Keywords

3-valued logicimplicative logicsBelnap-Dunn `two-valued' semanticsKLeene's strong 3-valued logicRoutley-Meyer's logic B

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 remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic ⋮ On the three-valued expansions of Kleene's logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Implicitly maximal classes and implicit completeness criterion in the three-valued logic 👍 👎
• The strong completeness of a system based on Kleene's strong three-valued logic 👍 👎
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 👍 👎
• 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 👍 👎
• A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic 👍 👎
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation 👍 👎
• A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics 👍 👎
• Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix 👍 👎
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values 👍 👎

This page was built for publication:

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