Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation

DOI10.1007/s10817-023-09685-zOpenAlexW4388726099MaRDI QIDQ6149588

Andrzej Indrzejczak

Publication date: 6 February 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-023-09685-z

zbMATH Keywords

cut eliminationrelevant logicfour-valued logicinterpolation theorembisequent calculus

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• On an implication connective of RM
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• 40 years of FDE: an introductory overview
• Paraconsistent double negations as classical and intuitionistic negations
• Interpolation methods for Dunn logics and their extensions
• Intuitive semantics for first-degree entailments and `coupled trees'
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Two is enough -- bisequent calculus for S5
• Partial and paraconsistent three-valued logics
• Relational semantics for the 4-valued relevant logics BN4 and E4
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• Bilattice Logics and Demi-Negation
• Natural 3-valued logics—characterization and proof theory
• Negation by iteration
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
• Sequents in many valued logic I
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
• Basic Four-Valued Systems of Cyclic Negations

This page was built for publication: Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation