Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
From MaRDI portal
Publication:6200466
DOI10.18778/0138-0680.2023.24MaRDI QIDQ6200466
Publication date: 29 February 2024
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Cites Work
- Bilateralism in proof-theoretic semantics
- Advances in proof-theoretic semantics
- Why conclusions should remain single
- The revival of rejective negation
- A more general general proof theory
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Speech acts, categoricity, and the meanings of logical connectives
- Some comments on Ian Rumfitt's bilateralism
- Rejection
- Assertion, Denial and Non-classical Theories
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
