Truthmaker semantics for relevant logic

DOI10.1007/s10992-019-09533-9zbMath1485.03052OpenAlexW2999195225WikidataQ126402855 ScholiaQ126402855MaRDI QIDQ2194111

Mark Jago

Publication date: 25 August 2020

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-019-09533-9

zbMATH Keywords

relevancerelevant logicsemanticsnon-classical logicconditionalitytruthmakingcontrapositiontruthmaker 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)

Related Items (4)

Conjunctive paraconsistency ⋮ PROOF SYSTEMS FOR EXACT ENTAILMENT ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ A reinterpretation of the semilattice semantics with applications

Cites Work

• Unnamed Item
• Unnamed Item
• Truth-maker semantics for intuitionistic logic
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• First degree entailments
• Models for entailment
• The semantics of entailment. II
• The semantics of entailment. III
• Relevant logic and the theory of information
• Nonclassical mereology and its application to sets
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• Handbook of philosophical logic. Vol. 6
• Negation on the Australian plan
• Relevance and Conjunction
• LOGIC FOR EXACT ENTAILMENT
• Semantics for relevant logics

This page was built for publication: Truthmaker semantics for relevant logic