Single chain completeness and some related properties (Q679807)
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: Single chain completeness and some related properties |
scientific article; zbMATH DE number 6828020
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Single chain completeness and some related properties |
scientific article; zbMATH DE number 6828020 |
Statements
Single chain completeness and some related properties (English)
0 references
22 January 2018
0 references
many-valued logics
0 references
monoidal t-norm based logic
0 references
single chain completeness
0 references
variable separation properties
0 references
substructural logics
0 references
Halldén completeness
0 references
0 references
0 references
0.85129476
0 references
0.8457544
0 references
0.8419257
0 references
0 references