Non-deterministic semantics for logics with a consistency operator (Q997049): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4539639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-deterministic Multiple-valued Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multi-valued Calculi for Logics Based on Non-determinism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5311061 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4487295 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2762534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4840168 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5692275 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4329287 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4440555 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics of Formal Inconsistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4432160 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the theory of inconsistent formal systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2753604 / rank
 
Normal rank

Latest revision as of 11:36, 26 June 2024

scientific article
Language Label Description Also known as
English
Non-deterministic semantics for logics with a consistency operator
scientific article

    Statements

    Non-deterministic semantics for logics with a consistency operator (English)
    0 references
    0 references
    19 July 2007
    0 references
    paraconsistent logics
    0 references
    logics of formal (in)consistency
    0 references
    non-deterministic semantics
    0 references
    decision procedures
    0 references
    proof-theoretical properties
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers