A logic of hypothetical conjunction
From MaRDI portal
Publication:5212562
DOI10.1093/LOGCOM/EXZ018zbMath1444.03080OpenAlexW2972029482WikidataQ115037465 ScholiaQ115037465MaRDI QIDQ5212562
Publication date: 29 January 2020
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/2164/15377
Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication: A logic of hypothetical conjunction