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
