Fuzzy Horn logic. II. Implicationally defined classes. (Q818519)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fuzzy Horn logic. II. Implicationally defined classes. |
scientific article |
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
