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

DOI10.18778/0138-0680.2023.24MaRDI QIDQ6200466FDOQ6200466

Authors: Sara Ayhan 

Publication date: 29 February 2024

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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

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