Partial and paraconsistent three-valued logics (Q2987760): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4085699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the expressive power of three-valued and four-valued languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Labeled calculi and finite-valued logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751372 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3858244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3962967 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Anti-intuitionism and paraconsistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4925909 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal forms and functional completeness for four-valued languages / 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: Partiality and its dual / 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: Q4128539 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5812175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On partial and paraconsistent logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992933 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4777260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximal weakly-intuitionistic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499084 / rank
 
Normal rank

Latest revision as of 19:37, 13 July 2024

scientific article
Language Label Description Also known as
English
Partial and paraconsistent three-valued logics
scientific article

    Statements

    Partial and paraconsistent three-valued logics (English)
    0 references
    0 references
    18 May 2017
    0 references
    sequent calculus
    0 references
    paraconsistent logic
    0 references
    four-valued logic
    0 references
    functional completeness
    0 references
    partial logic
    0 references
    cut redundancy
    0 references
    three-valued logic
    0 references
    proof-search procedure
    0 references

    Identifiers