Expressing validity: towards a self-sufficient inferentialism

zbMATH Open1505.03058MaRDI QIDQ5149152FDOQ5149152

Authors: Ulf Hlobil 

Publication date: 6 February 2021

Recommendations

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

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)

Cited In (3)

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

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)