Premium
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas
Author(s) -
Haniková Zuzana,
Savický Petr
Publication year - 2008
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200610057
Subject(s) - negation , mathematics , propositional calculus , norm (philosophy) , pure mathematics , propositional variable , t norm fuzzy logics , characterization (materials science) , algebra over a field , fuzzy logic , discrete mathematics , fuzzy set , epistemology , intermediate logic , linguistics , fuzzy number , computer science , philosophy , artificial intelligence , materials science , nanotechnology , description logic
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)