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

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
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.1016/j.ijar.2006.06.011 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2150792576 / rank
 
Normal rank
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 12: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
    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
    0 references