On Synonymy in Proof-Theoretic Semantics: The Case of 2Int

DOI10.18778/0138-0680.2023.18OpenAlexW4384697083MaRDI QIDQ6200464FDOQ6200464

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)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• A formalization of the propositional calculus of H-B logic
• Title not available (Why is that?)
• Constructible falsity and inexact predicates
• Cut-elimination and proof search for bi-intuitionistic tense logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Title not available (Why is that?)
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• A more general general proof theory
• Falsification, natural deduction and bi-intuitionistic logic
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
• Title not available (Why is that?)
• Title not available (Why is that?)
• A bilateral Hilbert-style investigation of 2-intuitionistic logic

Cited In (1)

• Core Type Theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200464)