Deep fried logic

DOI10.1007/S10670-019-00194-3MaRDI QIDQ6651286zbMATH OpenWikidataFDO

Authors Shay Allen Logan

Publication date 10 December 2024

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10670-019-00194-3

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

• scientific article; zbMATH DE number 1421063
• Logic at the borderline of the millenium
• Logical operations
• Dispositional logic
• Fuzzy logic explains the usual choice of logical operations in 2-valued logic

Cites work

• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
• ``Four-valued semantics for the relevant logic R
• An introduction to non-classical logic. From if to is
• Combinatory logic. Pure, applied and typed
• Display logic
• Four-valued semantics for relevant logics (and some of their rivals)
• Free of Detachment: Logic, Rationality, and Gluts
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 6868317 (Why is no real title available?)
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logic on the Australian plan
• Models for entailment
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Negation on the Australian plan
• Notes on stratified semantics
• On permutation in simplified semantics
• On the ternary relation and conditionality
• Relevance for the classical logician
• Relevance: A fallacy?
• Simplified semantics for basic relevant logics
• Simplified semantics for relevant logics (and some of their rivals)
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The completeness of the first-order functional calculus
• The Gentzenization and decidability of RW
• The semantics of entailment. II
• The semantics of entailment. III
• Truth without contra(di)ction

Cited in

(3)

• Logic in the deep end
• Introduction: directions and new directions
• New(ish) foundations for theories of entailment

This page was built for publication: Deep fried logic

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