The basic constructive logic for a weak sense of consistency

DOI10.1007/S10849-007-9042-5MaRDI QIDQ1006487zbMATH OpenOpenAlexFDO

Authors J. Martínez

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

zbMATH Keywords

paraconsistent logicsubstructural logicsconstructive negationRoutley-Meyer semantics

Mathematics Subject Classification ID

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

Recommendations

• The basic constructive logic for negation-consistency
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• scientific article; zbMATH DE number 6287559
• Relevance logics and intuitionistic negation
• scientific article; zbMATH DE number 5300189

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 1916521 (Why is no real title available?)
• Intuitionistic propositional logic without `contraction' but with `reductio'

Cited in

(19)

• scientific article; zbMATH DE number 4053570 (Why is no real title available?)
• The basic constructive logic for weak consistency and the reductio axioms
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• scientific article; zbMATH DE number 6851056 (Why is no real title available?)
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• Paraconsistent logics included in Lewis' S4
• The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant
• 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
• Relevance logics and intuitionistic negation
• Relevance logics, paradoxes of consistency and the K rule
• scientific article; zbMATH DE number 2152239 (Why is no real title available?)
• The single-minded pursuit of consistency and its weakness
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• scientific article; zbMATH DE number 5316399 (Why is no real title available?)
• Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3

Describes a project that uses

Uses Software

• MaGIC

This page was built for publication: The basic constructive logic for a weak sense of consistency

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