A hierarchy of weak double negations (Q2016059): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11225-013-9533-0 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1966601466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructible falsity and inexact predicates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning with logical bilattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: The value of the four values / rank
 
Normal rank
Property / cites work
 
Property / cites work: A non-deterministic view on non-classical negations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3206928 / 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: Limits for paraconsistent calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4329287 / 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: Intuitionistic logic with strong negation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof systems combining classical and paraconsistent negations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Possible-translations semantics for some weak classically-based paraconsistent logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructible falsity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3858239 / 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: The logic of information structures / rank
 
Normal rank

Latest revision as of 16:02, 8 July 2024

scientific article
Language Label Description Also known as
English
A hierarchy of weak double negations
scientific article

    Statements

    A hierarchy of weak double negations (English)
    0 references
    0 references
    19 June 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    double negation axiom
    0 references
    weak double negation axiom
    0 references
    paraconsistent negation
    0 references
    cut-elimination
    0 references
    completeness
    0 references
    0 references