The formal strong completeness of partial monoidal Boolean BI (Q5739976)

From MaRDI portal
scientific article; zbMATH DE number 6601622
Language Label Description Also known as
English
The formal strong completeness of partial monoidal Boolean BI
scientific article; zbMATH DE number 6601622

    Statements

    The formal strong completeness of partial monoidal Boolean BI (English)
    0 references
    7 July 2016
    0 references
    Boolean BI logic
    0 references
    labelled tableaux
    0 references
    completeness
    0 references
    bunched implication
    0 references

    Identifiers