A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
RedirectionBot (talk | contribs)
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
    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

    Identifiers