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)

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

• 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?)
• 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
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logic on the Australian plan
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Models for entailment
• 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 Gentzenization and decidability of RW
• The completeness of the first-order functional calculus
• The semantics of entailment. II
• The semantics of entailment. III
• Truth without contra(di)ction
• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
• ``Four-valued semantics for the relevant logic R

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)