The basic constructive logic for a weak sense of consistency

DOI10.1007/S10849-007-9042-5zbMATH Open1173.03027OpenAlexW1978139582MaRDI QIDQ1006487FDOQ1006487

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

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

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)

Cites Work

• Title not available (Why is that?)
• Intuitionistic propositional logic without `contraction' but with `reductio'
• Title not available (Why is that?)

Cited In (19)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• Paraconsistent logics included in Lewis' S4
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• 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
• Relevance logics and intuitionistic negation
• The basic constructive logic for absolute consistency
• Relevance logics, paradoxes of consistency and the K rule
• Title not available (Why is that?)
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• The single-minded pursuit of consistency and its weakness
• Title not available (Why is that?)
• Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3

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)