Relevance for the classical logician

DOI10.1017/S1755020318000382MaRDI QIDQ5107541zbMATH OpenOpenAlexWikidataFDO

Authors Ethan Brauer

Publication date 27 April 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020318000382

zbMATH Keywords

classical logicperfect sequentsrelevance

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

• A new approach to classical relevance
• scientific article; zbMATH DE number 4057477
• scientific article; zbMATH DE number 2101978
• The concept of relevance and the logic diagram tradition
• The relevance of relevance to relevance logic

Cites work

• A framework for measuring the complexity of mathematical concepts
• A hyperintensional criterion of irrelevance
• A new approach to classical relevance
• Arithmetization of metamathematics in a general setting
• Computability and Logic
• Computational interpretations of linear logic
• Handbook of philosophical logic. Vol. 6
• Horseshoe, hook, and relevance
• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 3737614 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 6868329 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 2101978 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Irrelevance: strengthening the Bayesian requirements
• LP, K3 and FDE as substructural logics
• Perfect validity, entailment and paraconsistency
• Relevance: A fallacy?
• Relevant entailment—semantics and formal systems
• The Mathematics of Sentence Structure
• The relevance of premises to conclusions of core proofs
• What is relevance logic?

Cited in

(10)

• Körner's criterion of relevance and analytic tableaux
• scientific article; zbMATH DE number 3912346 (Why is no real title available?)
• scientific article; zbMATH DE number 2051381 (Why is no real title available?)
• A new approach to classical relevance
• Relevance Logic as a Conservative Extension of Classical Logic
• Deep fried logic
• Perfect proofs at first order
• Coarsening natural deduction proofs. I: Finding perfect proofs
• Coarsening natural deduction proofs. II: Finding gaunt proofs
• A hierarchy of relevance properties

This page was built for publication: Relevance for the classical logician

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