Anything goes
From MaRDI portal
Publication:1708461
DOI10.1007/s11245-014-9261-8zbMath1382.03078OpenAlexW3187892551MaRDI QIDQ1708461
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
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items
‘Transitivity’ of Consequence Relations ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ What is a relevant connective? ⋮ Knot is not that nasty (but it is hardier than tonk) ⋮ The nature of entailment: an informational approach ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ ST, LP and Tolerant Metainferences ⋮ Blurring: an approach to conflation ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ Noncontractive classical logic ⋮ Faithfulness for naive validity ⋮ A Note on Gödel, Priest and Naïve Proof
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
- Tolerant, classical, strict
- Bilateralism in proof-theoretic semantics
- General-elimination harmony and the meaning of the logical constants
- What's wrong with tonk(?)
- Connectives stranger than tonk
- Gentzen calculi for modal propositional logic
- A model of tolerance
- Truth values and proof theory
- Substructural logics: a primer
- Definitional reflection and basic logic
- Validity concepts in proof-theoretic semantics
- CUT FOR CORE LOGIC
- Proof and Paradox
- Basic logic: reflection, symmetry, visibility
- Assertion, Denial and Non-classical Theories
- Inferentialism, Logicism, Harmony, and a Counterpoint
