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 the normal view instead:
scientific article; zbMATH DE number 6063276
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7710459232330322
0 references
0.7528616786003113
0 references
0.7178621888160706
0 references
