The basic constructive logic for a weak sense of consistency
From MaRDI portal
Publication:1006487
DOI10.1007/s10849-007-9042-5zbMath1173.03027OpenAlexW1978139582MaRDI QIDQ1006487
Publication date: 24 March 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-007-9042-5
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (10)
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ The single-minded pursuit of consistency and its weakness ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 ⋮ Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency ⋮ The basic constructive logic for negation-consistency ⋮ The basic constructive logic for absolute consistency ⋮ Negation introduced with the unary connective
Uses Software
Cites Work
This page was built for publication: The basic constructive logic for a weak sense of consistency
