Relevant logic as a basis for paraconsistent epistemic logics
From MaRDI portal
Publication:4275693
DOI10.1080/11663081.1992.10510783zbMath0798.03026MaRDI QIDQ4275693
Publication date: 3 November 1994
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1992.10510783
nonmonotonic logic; relevant logic; knowledge system; absolute beliefs; computational system of belief; feasible beliefs
03B60: Other nonclassical logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B53: Paraconsistent logics
Cites Work