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

From MaRDI portal
Revision as of 14:18, 1 July 2023 by Importer (talk | contribs) (‎Changed an 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