Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning

DOI10.1007/s00153-021-00806-2OpenAlexW3216103326MaRDI QIDQ2155493

Yaroslav Shramko

Publication date: 15 July 2022

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-021-00806-2

zbMATH Keywords

cut rulestructural systemsconsequence systemsDunn-Belnap's four-valued logicsstructural reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Structuralist logic: implications, inferences, and consequences
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• 40 years of FDE: an introductory overview
• An algebraic view of super-Belnap logics
• First-degree entailment and its relatives
• Anything goes
• Intuitive semantics for first-degree entailments and `coupled trees'
• Untersuchungen über das logische Schliessen. II
• On the rules of suppositions in formal logic
• Partiality and its dual
• Positive modal logic
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Truth, Falsehood, Information and Beyond: The American Plan Generalized
• First-Degree Entailment and Structural Reasoning
• Belnap's Four-Valued Logic and De Morgan Lattices
• The Trilattice of Constructive Truth Values
• An infinity of super-Belnap logics
• On Linear Resolution
• Proof Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning