Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

DOI10.18778/0138-0680.2023.12MaRDI QIDQ6200460zbMATH OpenOpenAlexFDO

Authors Sara Ayhan

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.12

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A more general general proof theory
• Advances in proof-theoretic semantics
• Assertion, Denial and Non-classical Theories
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• Bilateralism in proof-theoretic semantics
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Multiple conclusions
• Proof-theoretic semantics
• Proofs, disproofs, and their duals
• Rejection
• Some comments on Ian Rumfitt's bilateralism
• Speech acts, categoricity, and the meanings of logical connectives
• The revival of rejective negation
• Why conclusions should remain single

Cited in

(3)

• 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
• Strong negation is definable in 2Int

This page was built for publication: Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

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