A more general general proof theory

DOI10.1016/j.jal.2017.01.002zbMath1436.03294OpenAlexW2770391921MaRDI QIDQ1688710

Heinrich Wansing

Publication date: 11 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.01.002

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 (12)

Routley star and hyperintensionality ⋮ Questions to Michael Dunn ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Natural deduction for bi-intuitionistic logic ⋮ Logical multilateralism ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Core Type Theory ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ Fractional-Valued Modal Logic and Soft Bilateralism ⋮ Connexive Conditional Logic. Part I

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: A more general general proof theory