Anything goes

DOI10.1007/S11245-014-9261-8MaRDI QIDQ1708461zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

paradoxsequent calculusinferentialismstructural rulestonk

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Recommendations

• How a semantics for tonk should be
• Connectives stranger than tonk
• Intelim rules for classical connectives
• What's wrong with tonk(?)
• scientific article; zbMATH DE number 2211927

Cites work

• scientific article; zbMATH DE number 5902347 (Why is no real title available?)
• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 819916 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A model of tolerance
• Assertion, Denial and Non-classical Theories
• Basic logic: reflection, symmetry, visibility
• Bilateralism in proof-theoretic semantics
• Connectives stranger than tonk
• Cut for core logic
• Definitional reflection and basic logic
• General-elimination harmony and the meaning of the logical constants
• Gentzen calculi for modal propositional logic
• Inferentialism, Logicism, Harmony, and a Counterpoint
• Multiple conclusions
• Proof and Paradox
• Substructural logics: a primer
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Tolerant, classical, strict
• Truth values and proof theory
• Validity concepts in proof-theoretic semantics
• What's wrong with tonk(?)

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)