Fuzzy Horn logic. II. Implicationally defined classes. (Q818519)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5013638
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fuzzy Horn logic. II. Implicationally defined classes. |
scientific article; zbMATH DE number 5013638 |
Statements
Fuzzy Horn logic. II. Implicationally defined classes. (English)
0 references
21 March 2006
0 references
Based upon the first part of the paper [Arch. Math. Logic 45, 3--51 (2006; Zbl 1095.03014)] the authors develop here, for algebraic structures with graded identity relations, within the realm of a many-valued logic with truth degrees in residuated lattices equipped with a truth stresser, a suitable generalization of classical logical and algebraic characterizations of quasivarieties.
0 references
fuzzy logic
0 references
equational logic
0 references
Horn logic
0 references
graded identities
0 references
quasivarieties
0 references
0.8071687817573547
0 references
0.8019642233848572
0 references
0.7979116439819336
0 references
0.7891722917556763
0 references
