Truthmaker semantics for relevant logic

DOI10.1007/S10992-019-09533-9MaRDI QIDQ2194111zbMATH OpenOpenAlexWikidataFDO

Authors Mark Jago

Publication date 25 August 2020

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

conditionalitycontrapositionnon-classical logicrelevancerelevant logicsemanticstruthmaker semanticstruthmaking

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

• scientific article; zbMATH DE number 2170949
• Logic for exact entailment
• A relevant theory of conditionals
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• Truth-maker semantics for intuitionistic logic

Cites work

• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• First degree entailments
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• Logic for exact entailment
• Models for entailment
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Negation on the Australian plan
• Nonclassical mereology and its application to sets
• Relevance and conjunction
• Relevant logic and the theory of information
• Semantics for relevant logics
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The semantics of entailment. II
• The semantics of entailment. III
• Truth-maker semantics for intuitionistic logic

Cited in

(21)

• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A reinterpretation of the semilattice semantics with applications
• The laws of thought and the laws of truth as two sides of one coin
• scientific article; zbMATH DE number 6536273 (Why is no real title available?)
• scientific article; zbMATH DE number 2170949 (Why is no real title available?)
• Truth-maker semantics for intuitionistic logic
• Logic for exact entailment
• Conjunctive paraconsistency
• PROOF SYSTEMS FOR EXACT ENTAILMENT
• A semantics for moral error theory
• Handling irresolvable conflicts in the semantic web: an RDF-based conflict-tolerant version of the deontic traditional scheme
• `The ghost of impossibility': response to Peter Verdée's `Truthmakers and relevance for FDE, LP, K3 and CL'
• `Forms of conditionality': response to `Truth-maker semantics for some substructural logics' by Ondrej Majer, Vít Punčochář and Igor Sedlár
• Truth-maker semantics for some substructural logics
• Conjunctive and disjunctive parts
• `Truthmaker semantics for relevance logic': response to `Fine's semantics for relevance logic and its relevance' by Katalin Bimbó and J. Michael Dunn
• Implying and containing in truthmaker semantics
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
• The mereological basis of truthmaker semantics
• What the states of truthmaker semantics could (not) be
• Topic transparency and variable sharing in weak relevant logics

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

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