Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
scientific article

    Statements

    Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (English)
    0 references
    0 references
    25 October 2021
    0 references
    lattice logic
    0 references
    bilattice logic
    0 references
    paraconsistent quantum logic
    0 references
    monosequent system
    0 references
    completeness
    0 references
    cut-elimination
    0 references

    Identifiers