LOGIC FOR EXACT ENTAILMENT

DOI10.1017/S1755020318000151zbMath1454.03031OpenAlexW2896358236WikidataQ128487866 ScholiaQ128487866MaRDI QIDQ5241232

Mark Jago, Kit Fine

Publication date: 30 October 2019

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020318000151

zbMATH Keywords

sequent calculussemanticsmereologynon-classical logictruthmakingexact entailment

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (7)

THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS ⋮ Truthmaker semantics for relevant logic ⋮ Logics of synonymy ⋮ Conjunctive paraconsistency ⋮ PROOF SYSTEMS FOR EXACT ENTAILMENT ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ Identity and aboutness

Cites Work

• Angellic content

This page was built for publication: LOGIC FOR EXACT ENTAILMENT