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

From MaRDI portal
Revision as of 07:02, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
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