Labelled calculi for the logics of rough concepts (Q6132579)
From MaRDI portal
scientific article; zbMATH DE number 7728696
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Labelled calculi for the logics of rough concepts |
scientific article; zbMATH DE number 7728696 |
Statements
Labelled calculi for the logics of rough concepts (English)
0 references
17 August 2023
0 references
rough formal contexts
0 references
non-distributive modal logic
0 references
labelled calculi
0 references
proof calculi
0 references
