On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)

DOI10.18778/0138-0680.2023.18OpenAlexW4384697083MaRDI QIDQ6200464

Heinrich Wansing, Sara Ayhan

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2023.18

zbMATH Keywords

cut-eliminationbilateralismsynonymybi-intuitionistic logic \(\mathtt{2Int}\)identity of derivations

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Core Type Theory

Cites Work

• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• A more general general proof theory
• A formalization of the propositional calculus of H-B logic
• Falsification, natural deduction and bi-intuitionistic logic
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• Constructible falsity and inexact predicates
• A bilateral Hilbert-style investigation of 2-intuitionistic logic
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)