Axiomatization and completeness of uncountably valued approximation logic (Q1317906)
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: Axiomatization and completeness of uncountably valued approximation logic |
scientific article; zbMATH DE number 536896
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatization and completeness of uncountably valued approximation logic |
scientific article; zbMATH DE number 536896 |
Statements
Axiomatization and completeness of uncountably valued approximation logic (English)
0 references
23 May 1994
0 references
vagueness
0 references
uncountably valued logic
0 references
uncertainty
0 references
approximation logics
0 references
\(LT\)-fuzzy logics
0 references
approximate truth-values
0 references
plain semi-Post algebra
0 references
0 references