The basic constructive logic for a weak sense of consistency (Q1006487)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The basic constructive logic for a weak sense of consistency |
scientific article |
Statements
The basic constructive logic for a weak sense of consistency (English)
0 references
24 March 2009
0 references
\(\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}}
0 references
constructive negation
0 references
substructural logics
0 references
Routley-Meyer semantics
0 references
paraconsistent logic
0 references