Bilateral Rules as Complex Rules
From MaRDI portal
Publication:6200469
DOI10.18778/0138-0680.2023.13OpenAlexW4384694373MaRDI QIDQ6200469FDOQ6200469
Publication date: 29 February 2024
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.2023.13
Cites Work
- Classical harmony: Rules of inference and the meaning of the logical constants
- Harmony and autonomy in classical logic
- Proof-theoretic semantics, a problem with negation and prospects for modality
- Title not available (Why is that?)
- Why conclusions should remain single
- Multiple conclusions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Classical logic without bivalence
- Validity concepts in proof-theoretic semantics
- On Inversion Principles
- Bilateralism in proof-theoretic semantics
- Title not available (Why is that?)
- Some Remarks on Proof-Theoretic Semantics
- General-elimination stability
- Inversion Principles and Introduction Rules
- Speech acts, categoricity, and the meanings of logical connectives
- Completeness in Proof-Theoretic Semantics
- Some comments on Ian Rumfitt's bilateralism
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Inferentialism, Logicism, Harmony, and a Counterpoint
- HARMONISING HARMONY
- Classical harmony and separability
- Title not available (Why is that?)
- Single-assumption systems in proof-theoretic semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Bilateral Rules as Complex Rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200469)
