A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1062052 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Branislav R. Boričić / rank | |||
Normal rank |
Revision as of 02:24, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) |
scientific article |
Statements
A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (English)
0 references
16 November 2009
0 references
This paper provides a generalization of the initial values of Belnap's \(4\)-valued logic [see \textit{N. D. Belnap}, ``A useful four-valued logic'', in: J. M. Dunn et al. (eds.), Modern uses of multiple-valued logic. Fifth international symposium, Bloomington, 1975, 5--37 (1977; Zbl 0424.03012); ``How a computer should think'', in: G. Ryle (ed.), Contemporary aspects of philosophy. Oriel Press. 30--55 (1977)], based on the idea of Kleene's concept of `logic of uncertainty'. The author arrived at the set of eight generalized truth values which may be regarded even more natural as far as the intuitive perspective is concerned. In order to clarify this generalization, a new algebraic structure, the tetralattice \(EIGHT_4\), is introduced, which combines four different ordering relations defined independently: information ordering, truth ordering, falsity ordering and uncertainty ordering. An adequate axiomatization for this logic is proposed as well.
0 references
generalized truth values
0 references
Dunn-Belnap logic
0 references
Shramko-Wansing logic
0 references
bilattice
0 references
trilattice
0 references
tetralattice
0 references
first-degree entailment.
0 references