On axiomatizing Shramko-Wansing's logic (Q1015493): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:56, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On axiomatizing Shramko-Wansing's logic |
scientific article |
Statements
On axiomatizing Shramko-Wansing's logic (English)
0 references
8 May 2009
0 references
The trilattice \(SIXTEEN_3\) introduced by \textit{Y. Shramko} and \textit{H. Wansing} [J. Philos. Log. 34, No.~2, 121--153 (2005; Zbl 1094.03012)] is a generalization of the famous bilattice \(FOUR_2\). In \(SIXTEEN_3\) there are two partial orders defined on the underlying set \textbf{16} of generalized truth values: the truth order \(\leq _t\) and the falsity order \(\leq _f\). Each ordering gives rise to (i) a conjunction, a disjunction, and a negation connective (thereby providing a truth vocabulary and a falsity vocabulary) and (ii) a semantical consequence relation (truth entailment \(\models _t\) and falsity entailment \(\models _f\)). In [Shramko and Wansing, loc. cit.] it was shown that \(\models _t\) in the truth vocabulary and \(\models _f\) in the falsity vocabulary both coincide with first-degree entailment, alias Belnap and Dunn's useful four-valued logic. The problem of axiomatizing truth entailment and falsity entailment in the full vocabulary containing both the truth and the falsity connectives was left open in [Shramko and Wansing, loc. cit.]. Odintsov solves this problem by first representing \(SIXTEEN_3\) as a twist-structure over the two-element Boolean algebra. He then shows that \(\models _t\) and \(\models _f\) are intersections of certain pairs of consequence relations defined as first-degree axiom systems. In order to be able to apply Miura's Theorem on axiomatizing the intersection of two superintuitionistic logics axiomatized with modus ponens as the only rule of inference, Odintsov introduces truth implication and falsity implication interpreted as the residuum of truth (falsity) conjunction with respect to \(\leq _t\) (\(\leq _f\)). The main result consists of axiomatizations of truth and falsity entailment in the extended languages containing truth implication, falsity implication, or both.
0 references
generalized truth values
0 references
trilattice \(SIXTEEN_3\)
0 references
twist-structures
0 references
axiomatizations
0 references
truth entailment
0 references
falsity entailment
0 references