First-Degree Entailment and Structural Reasoning

DOI10.1007/978-3-030-31136-0_18zbMath1469.03059OpenAlexW2997577828MaRDI QIDQ3305621

Yaroslav Shramko

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

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

zbMATH Keywords

exactly true logicfirst-degree entailmentnon-falsity logicstructural reasoningbinary consequence system

Mathematics Subject Classification ID

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

Related Items (3)

Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Logics of upsets of De Morgan lattices ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic view of super-Belnap logics
• First-degree entailment and its relatives
• Intuitive semantics for first-degree entailments and `coupled trees'
• Untersuchungen über das logische Schliessen. I
• Partiality and its dual
• Positive modal logic
• Nothing but the truth
• Contradictory information: too much of a good thing
• A survey of nonstandard sequent calculi
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Belnap's Four-Valued Logic and De Morgan Lattices
• Lattices With Involution
• Algebraic completeness results for R-mingle and its extensions
• A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC

This page was built for publication: First-Degree Entailment and Structural Reasoning