The basic constructive logic for absolute consistency

DOI10.1007/s10849-008-9077-2zbMath1171.03013OpenAlexW2008274967MaRDI QIDQ1016031

J. Martínez

Publication date: 4 May 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-008-9077-2

zbMATH Keywords

substructural logicsparaconsistent logicconstructive negationternary relational semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (1)

Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency

Uses Software

• MaGIC

Cites Work

• Unnamed Item
• Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
• The basic constructive logic for a weak sense of consistency
• The basic constructive logic for negation-consistency

This page was built for publication: The basic constructive logic for absolute consistency