Continuous fuzzy Horn logic (Q5469109)
From MaRDI portal
scientific article; zbMATH DE number 5023774
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuous fuzzy Horn logic |
scientific article; zbMATH DE number 5023774 |
Statements
Continuous fuzzy Horn logic (English)
0 references
16 May 2006
0 references
fuzzy logic with evaluated syntax
0 references
Horn formula
0 references
fuzzy equality
0 references
residuated lattice
0 references
continuous satisfaction
0 references
quasivarieties
0 references
Pavelka-style completeness
0 references