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

DOI10.1007/S10849-009-9085-XzbMath1182.03060OpenAlexW2075250104MaRDI QIDQ735410

D. Kharzeev

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

zbMATH Keywords

consistencysubstructural logicsconstructive negationparaconsistent logicsternary relational semantics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (3)

PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 ⋮ The basic constructive logic for negation-consistency ⋮ The basic constructive logic for absolute consistency

Uses Software

• MaGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• The basic constructive logic for a weak sense of consistency
• The basic constructive logic for negation-consistency
• The basic constructive logic for absolute consistency
• Intuitionistic propositional logic without `contraction' but with `reductio'
• A propositional calculus with denumerable matrix
• What is strict implication?
• The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant
• Mutual definability does not imply definitional equivalence, a simple example

This page was built for publication: Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency