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

DOI10.18778/0138-0680.2023.18MaRDI QIDQ6200464zbMATH OpenOpenAlexFDO

Authors Sara Ayhan, Heinrich Wansing

Publication date 29 February 2024

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 7503163 (Why is no real title available?)
• scientific article; zbMATH DE number 7576848 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A bilateral Hilbert-style investigation of 2-intuitionistic logic
• A formalization of the propositional calculus of H-B logic
• A more general general proof theory
• Analytic cut and interpolation for bi-intuitionistic logic
• Constructible falsity and inexact predicates
• Cut-elimination and proof search for bi-intuitionistic tense logic
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Falsification, natural deduction and bi-intuitionistic logic
• On split negation, strong negation, information, falsification, and verification
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Structural proof theory. With an appendix by Aarne Ranta

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)