Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
From MaRDI portal
Publication:735410
DOI10.1007/s10849-009-9085-xzbMath1182.03060MaRDI QIDQ735410
Publication date: 21 October 2009
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-009-9085-x
consistency; substructural logics; constructive negation; paraconsistent logics; ternary relational semantics
03B53: Paraconsistent logics
Uses Software