A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE

DOI10.1007/978-3-030-89391-0_20OpenAlexW3205215765MaRDI QIDQ2695525

Gemma Robles

Publication date: 31 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-89391-0_20

zbMATH Keywords

relevant logicsvariable-sharing property4-valued relevant logicsBrady's 4-valued logic BN4two-valued belnap-dunn semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Where gamma fails
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• 40 years of FDE: an introductory overview
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
• Correspondence analysis and automated proof-searching for first degree entailment
• Entailment and relevance¹
• The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• A Lattice of Implicative Extensions of Regular Kleene's Logics
• Inconsistency Tolerance

This page was built for publication: A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE