Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP

DOI10.1093/LOGCOM/EXAC101MaRDI QIDQ5885773zbMATH OpenOpenAlexFDO

Authors Gemma Robles

Publication date 30 March 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/logcom/exac101

zbMATH Keywords

relevant logicsfirst-degree entailment logicvariable-sharing property4-valued relevant logicstwo-valued Belnap-Dunn semanticsAckermann property

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
• A class of 4-valued implicative expansions of first-degree entailment logic (FDE) with the variable-sharing property
• R and relevance principle revisited
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4

Cited in

(2)

• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE

This page was built for publication: Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP

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