A plea for KR

DOI10.1007/S11229-019-02265-YMaRDI QIDQ2695153zbMATH OpenOpenAlexFDO

Authors Alison Duncan Kerr

Publication date 30 March 2023

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-019-02265-y

zbMATH Keywords

KRparadoxes of implicationrelevant logic

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

• Limiters for high-order discontinuous Galerkin methods
• The multi-dimensional limiters for discontinuous Galerkin method on unstructured grids
• An accuracy preserving limiter for the high-order discontinuous Galerkin method on unstructured grids
• One-dimensional shock-capturing for high-order discontinuous Galerkin methods
• Shock detection and limiting with discontinuous Galerkin methods for hyperbolic conservation laws.

Cites work

• A general characterization of the variable-sharing property by means of logical matrices
• A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• A second pretabular classical relevance logic
• An introduction to non-classical logic
• Assertion, Denial and Non-classical Theories
• Begründung einer strengen Implikation
• Burgess on relevance: A fallacy indeed
• Common sense and relevance
• Core Logic
• Equivalents of mingle and positive paradox
• Failure of interpolation in relevant logics
• Handbook of philosophical logic. Vol. 9
• scientific article; zbMATH DE number 3887654 (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 1749198 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 2101978 (Why is no real title available?)
• Logical pluralism
• Read on relevance: A rejoinder
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• Relevance: A fallacy?
• Reply to Burgess and to Read
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Shrieking in the face of vengeance
• Situations in which disjunctive syllogism can lead from true premises to a false conclusion
• The logic of paradox
• The relevance of premises to conclusions of core proofs
• The semantics of entailment. III
• The validity of disjunctive syllogism is not so easily proved
• Truth without contra(di)ction

Cited in

(14)

• Shock detection and limiting with discontinuous Galerkin methods for hyperbolic conservation laws.
• The multi-dimensional limiters for discontinuous Galerkin method on unstructured grids
• A limiting approach for DG discretizations on mixed type meshes
• Assessment of shock capturing schemes for discontinuous Galerkin method
• High order discontinuous Galerkin discretizations with a new limiting approach and positivity preservation for strong moving shocks
• On limiting for higher order discontinuous Galerkin method for 2D Euler equations
• One-dimensional shock-capturing for high-order discontinuous Galerkin methods
• scientific article; zbMATH DE number 4008360 (Why is no real title available?)
• scientific article; zbMATH DE number 589201 (Why is no real title available?)
• A multi-dimensional shock-capturing limiter for high-order least square-based finite difference-finite volume method on unstructured grids
• One-dimensional shock-capturing for high-order discontinuous Galerkin methods
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• An indicator-based hybrid limiter in discontinuous Galerkin methods for hyperbolic conservation laws
• Continuously bounds-preserving discontinuous Galerkin methods for hyperbolic conservation laws

This page was built for publication: A plea for KR

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