LK, LJ, dual intuitionistic logic, and quantum logic (Q558432)

From MaRDI portal
Revision as of 21:22, 4 April 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q55891978, #quickstatements; #temporary_batch_1712261475387)
scientific article
Language Label Description Also known as
English
LK, LJ, dual intuitionistic logic, and quantum logic
scientific article

    Statements

    LK, LJ, dual intuitionistic logic, and quantum logic (English)
    0 references
    0 references
    6 July 2005
    0 references
    sequent calculus
    0 references
    classical logic
    0 references
    intuitionistic logic
    0 references
    quantum logic
    0 references
    dual intuitionistic logic
    0 references
    paraconsistent logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references