The basic constructive logic for a weak sense of consistency
\(\text{B}_{\text{K}+}\) is the extension of Routley and Meyer's basic positive relevant logic \(\text{B}_+\) by the (nonrelevant) rule K: \({\vdash A}\Rightarrow {\vdash B} \rightarrow A\). In this paper \(\text{B}_+\) is shown to be sound and complete under the Routley-Meyer semantics for \(\text{B}_+\), but without their ``designated points. The following extensions of \(\text{B}_+\) are all shown to be sound and complete under versions of the semantics for \(\text{B}_{\text{K}+}\): {\parindent=4mm \begin{itemize}\item[--] \(\text{B}_{\text{Kc}1}\): \(\text{B}_{\text{K}+}\) with a constructive negation, \item[--] \(\text{B}_{\text{Kc}2}\): \(\text{B}_{\text{Kc}1}\) with stronger negation properties, including double negation, \item[--] \(\text{B}_{\text{Kc}3}\): \(\text{B}_{\text{Kc}2}\) plus \(\neg A \rightarrow (A\rightarrow B)\). \end{itemize}}
- The basic constructive logic for negation-consistency
- The basic constructive logic for absolute consistency
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
- scientific article; zbMATH DE number 5316399 (Why is no real title available?)
- Relevance logics and intuitionistic negation
- scientific article; zbMATH DE number 4053570 (Why is no real title available?)
- scientific article; zbMATH DE number 6851056 (Why is no real title available?)
- scientific article; zbMATH DE number 2152239 (Why is no real title available?)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- Paraconsistent logics included in Lewis' S4
- The basic constructive logic for weak consistency and the reductio axioms
- Relevance logics, paradoxes of consistency and the K rule
- Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
- The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant
- The single-minded pursuit of consistency and its weakness
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
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)
