The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant

DOI10.1093/JIGPAL/JZM015zbMATH Open1138.03022OpenAlexW2166655407MaRDI QIDQ5448846

Author name not available (Why is that?)

Publication date: 7 March 2008

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm015

zbMATH Keywords

substructural logicsconstructive negationternary relational semanticsdefinitional equivalence

Mathematics Subject Classification ID

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

Related Items (5)

Ternary Exclusive Or ⋮ Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency ⋮ Negation-free definitions of paraconsistency ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication: The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448846)