Axiomatization and completeness of uncountably valued approximation logic (Q1317906)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatization and completeness of uncountably valued approximation logic |
scientific article |
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
