The basic constructive logic for negation-consistency

DOI10.1007/s10849-007-9056-zzbMath1173.03026OpenAlexW2148798252MaRDI QIDQ1006496

Gemma Robles

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-9056-z

zbMATH Keywords

substructural logicsparaconsistent logicconstructive negationRoutley-Meyer semantics

Mathematics Subject Classification ID

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

Related Items (2)

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

Uses Software

• MaGIC

Cites Work

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

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