Logical multilateralism
From MaRDI portal
Publication:6145030
DOI10.1007/s10992-023-09720-9OpenAlexW4387021706MaRDI QIDQ6145030
Publication date: 8 January 2024
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-023-09720-9
sequent calculusconsequence relationsproof-theoretic semanticsbilateralismcongruentialitymultilateralism
Cites Work
- Bilateralism in proof-theoretic semantics
- Why conclusions should remain single
- Truth and falsehood. An inquiry into generalized logical values
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Some useful 16-valued logics: How a computer network should think
- Gentzen calculi for modal propositional logic
- The revival of rejective negation
- 40 years of FDE: an introductory overview
- A more general general proof theory
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
- Displaying modal logic
- Speech acts, categoricity, and the meanings of logical connectives
- Some comments on Ian Rumfitt's bilateralism
- Bilateralism, trilateralism, multilateralism and poly-sequents
- Falsification, natural deduction and bi-intuitionistic logic
- BILATERAL RELEVANT LOGIC
- Proof and Falsity
- Constructive negation, implication, and co-implication
- Constructible falsity and inexact predicates
- Rejection
- The Trilattice of Constructive Truth Values
- Assertion, Denial and Non-classical Theories
- Is 'no' a force-indicator? Sometimes, possibly
- EPISTEMIC MULTILATERAL LOGIC
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Oxford Handbook of Medical Statistics
- A bilateral Hilbert-style investigation of 2-intuitionistic logic
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
- Semantical analysis of weak Kleene logics
- Constructible falsity
- Open Problems in Proof-Theoretic Semantics
- What is a logical theory? On theories containing assertions and denials
- Tarskian consequence relations bilaterally: some familiar notions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
