Anything goes
From MaRDI portal
Publication:1708461
DOI10.1007/S11245-014-9261-8zbMATH Open1382.03078OpenAlexW3187892551MaRDI QIDQ1708461FDOQ1708461
Authors: David Ripley
Publication date: 23 March 2018
Published in: Topoi (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11245-014-9261-8
Recommendations
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Cites Work
- Substructural logics: a primer
- Tolerant, classical, strict
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A model of tolerance
- Truth values and proof theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Assertion, Denial and Non-classical Theories
- Multiple conclusions
- Title not available (Why is that?)
- General-elimination harmony and the meaning of the logical constants
- Title not available (Why is that?)
- Gentzen calculi for modal propositional logic
- Validity concepts in proof-theoretic semantics
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
- Title not available (Why is that?)
- Basic logic: reflection, symmetry, visibility
- Bilateralism in proof-theoretic semantics
- Cut for core logic
- What's wrong with tonk(?)
- Connectives stranger than tonk
- Proof and Paradox
- Definitional reflection and basic logic
- Inferentialism, Logicism, Harmony, and a Counterpoint
Cited In (16)
- Noncontractive classical logic
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
- Weak disharmony: some lessons for proof-theoretic semantics
- ``Transitivity of consequence relations
- ST, LP and tolerant metainferences
- Knot is not that nasty (but it is hardier than tonk)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- The nature of entailment: an informational approach
- Faithfulness for naive validity
- Reading conclusions conjunctively
- The laws of thought and the laws of truth as two sides of one coin
- A note on Gödel, Priest and naïve proof
- What is a relevant connective?
- Blurring: an approach to conflation
- What's wrong with tonk(?)
This page was built for publication: Anything goes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708461)