Web consequence untangled

DOI10.1007/S11245-023-09978-3MaRDI QIDQ7227950zbMATH OpenFDO

Authors Stephan C. Kramer

Publication date 13 April 2026

Published in Topoi (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11245-023-09978-3

zbMATH Keywords

groundlogicmany-valued logicrelevancetruthmaker semantics

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) Many-valued logic (03B50)

Cites work

• A family of strict/tolerant logics
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
• Against grounding necessitarianism
• An introduction to non-classical logic. From if to is
• LOGICAL GROUNDS
• On ground and consequence
• The logics of strict-tolerant logic
• The strict/tolerant idea and bilattices
• Tolerant, classical, strict

This page was built for publication: Web consequence untangled

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