Truthmakers and relevance for FDE, LP, K3, and CL

DOI10.1007/978-3-031-29415-0_13MaRDI QIDQ6911820zbMATH OpenFDO

Authors Peter Verdée

Publication date 24 October 2025

Full work available at URL https://doi.org/10.1007/978-3-031-29415-0_13

zbMATH Keywords

analytic propositionsclosure frames semanticsnon-transitive logicrelevance logictruthmaker 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)

Cites work

• A hyperintensional logical framework for deontic reasons
• A new approach to classical relevance
• A non-transitive relevant implication corresponding to classical logic consequence
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• Angellic content
• Expanding the logic of paradox with a difference-making relevant implication
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 753773 (Why is no real title available?)
• scientific article; zbMATH DE number 2096993 (Why is no real title available?)
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Hyperintensional logic
• Hyperintensional propositions
• Impossible worlds and the logic of imagination
• Intuitive semantics for first-degree entailments and `coupled trees'
• Models for entailment
• On notation for ordinal numbers.
• Perfect validity, entailment and paraconsistency
• Philosophical logic
• Substructural logics: a primer
• The logic of paradox
• The paradox of inference and the non-triviality of analytic information

This page was built for publication: Truthmakers and relevance for FDE, LP, K3, and CL

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