A Sahlqvist theorem for substructural logic (Q4928772)
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: A Sahlqvist theorem for substructural logic |
scientific article; zbMATH DE number 6176641
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Sahlqvist theorem for substructural logic |
scientific article; zbMATH DE number 6176641 |
Statements
A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (English)
0 references
18 June 2013
0 references
bi-approximation semantics
0 references
lattice-based logics
0 references
first-order definability
0 references
Sahlqvist-van Benthem algorithm
0 references
Sahlqvist theorem
0 references
substructural logic
0 references
consistent variable occurrence
0 references
0 references
0.737622082233429
0 references
0.7349774241447449
0 references
0.7326534986495972
0 references
0.7291717529296875
0 references
