Truthmaker semantics for relevant logic
From MaRDI portal
Publication:2194111
DOI10.1007/s10992-019-09533-9zbMath1485.03052OpenAlexW2999195225WikidataQ126402855 ScholiaQ126402855MaRDI QIDQ2194111
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
relevancerelevant logicsemanticsnon-classical logicconditionalitytruthmakingcontrapositiontruthmaker semantics
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