Bi-approximation semantics for substructural logic at work (Q2904066)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bi-approximation semantics for substructural logic at work |
scientific article; zbMATH DE number 6063276
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bi-approximation semantics for substructural logic at work |
scientific article; zbMATH DE number 6063276 |
Statements
5 August 2012
0 references
bi-approximation semantics
0 references
two-sorted relational semantics
0 references
lattice expansions
0 references
substructural logics
0 references
Bi-approximation semantics for substructural logic at work (English)
0 references
