Reprint of: ``A more general general proof theory

DOI10.1016/j.jal.2017.12.003zbMath1436.03295OpenAlexW2771528016MaRDI QIDQ1693594

Heinrich Wansing

Publication date: 31 January 2018

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2017.12.003

zbMATH Keywords

normal formcompositionalitynegationco-implicationassertionbi-intuitionistic logicdenialproofsbilateralismdual intuitionistic logicdual proofs2Int

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Tarskian consequence relations bilaterally: some familiar notions

Cites Work

• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Logic: a history of its central concepts
• Truth and falsehood. An inquiry into generalized logical values
• Natural deduction for dual-intuitionistic logic
• On the idea of a general proof theory
• Some comments on Ian Rumfitt's bilateralism
• Falsification, natural deduction and bi-intuitionistic logic
• PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• Explaining Deductive Inference
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
• 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: Reprint of: ``A more general general proof theory