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

From MaRDI portal
Revision as of 00:38, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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