Expressing validity: towards a self-sufficient inferentialism

MaRDI QIDQ5149152zbMATH OpenFDO

Authors Ulf Hlobil

Publication date 6 February 2021

zbMATH Keywords

non-transitive consequencesubstructural logicinferentialismnaive validityv-Curry paradox

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Faithfulness for naive validity
• Validity as a primitive
• Validity, dialetheism and self-reference
• Inferentializing semantics
• A note on contraction-free logic for validity

Cited in

(3)

• Validity, dialetheism and self-reference
• The inexpressibility of validity
• External validity: from do-calculus to transportability across populations

This page was built for publication: Expressing validity: towards a self-sufficient inferentialism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149152)