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

bi-intuitionistic logic \(\mathtt{2Int}\)bilateralismcut-eliminationidentity of derivationssynonymy

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• 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
• scientific article; zbMATH DE number 1612555 (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?)
• Moisil's modal logic and related systems
• 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
• Uniqueness of logical connectives in a bilateralist setting

Cited in

(5)

• Core Type Theory
• Comparing sense and denotation in bilateralist proof systems for proofs and refutations
• Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
• Completeness of first-order bi-intuitionistic logic
• Correspondence of contradictions in the constructive connexive calculus \textbf{C}

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)