Restall's proof-theoretic pluralism and relevance logic

DOI10.1007/S10670-015-9792-4MaRDI QIDQ1706756zbMATH OpenOpenAlexFDO

Authors Teresa Kouri

Publication date 28 March 2018

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://digitalcommons.odu.edu/philosophy_fac_pubs/57

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Problems for logical pluralism
• Pluralism and proofs
• What logical pluralism cannot be
• Restall and Beall on logical pluralism: a critique
• From natural to formal language: a case for logical pluralism

Cites work

• Core Logic
• Display logic
• Dual-intuitionistic logic
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Logical pluralism
• Perfect validity, entailment and paraconsistency
• Pluralism and proofs
• Semantic minimalism for logical constants
• Verbal disputes in logic against minimalism for logical connectives

Cited in

(6)

• Restall and Beall on logical pluralism: a critique
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• The placeholder view of assumptions and the Curry-Howard correspondence
• Pluralistic perspectives on logic: an introduction
• Proof-theoretic pluralism
• Relevance through topical unconnectedness

This page was built for publication: Restall's proof-theoretic pluralism and relevance logic

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