Distinguishing standard SBL‐algebras with involutive negations by propositional formulas |
| |
| Authors: | Zuzana Haniková Petr Savický |
| |
| Affiliation: | Institute of Computer Science, Academy of Sciences of the Czech Republic, 182 07 Prague, Czech Republic |
| |
| Abstract: | Propositional fuzzy logics given by a combination of a continuous SBL t‐norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t‐norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of propositional tautologies is presented. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
| Keywords: | Fuzzy logic strict basic logic continuous t‐norm standard SBL‐algebra involutive negation |
|
