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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(8 intermediate revisions by 7 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11225-009-9198-x / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Branislav R. Boričić / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Branislav R. Boričić / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11225-009-9198-x / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2130779558 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4085699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4297115 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning with logical bilattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of interlaced bilattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intuitive semantics for first-degree entailments and `coupled trees' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bilattices and the theory of truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bilattices and the semantics of logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3604278 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Trilattice of Constructive Truth Values / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some useful 16-valued logics: How a computer network should think / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyper-contradictions, generalized truth values and logics of truth and falsehood / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3003846 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11225-009-9198-X / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 14:15, 10 December 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