Distinguishing Standard SBL-algebras with Involutive Negations by Propositional Formulas

0313643 - ÚI 2009 RIV DE eng J - Článek v odborném periodiku
Haniková, Zuzana - Savický, Petr
Distinguishing Standard SBL-algebras with Involutive Negations by Propositional Formulas.
[Odlišování standardních SBL-algeber s involutivními negacemi pomocí výrokových formulí.]
Mathematical Logic Quarterly. Roč. 54, č. 6 (2008), s. 579-596. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * strict basic logic * continuous t-norm * standard SBL-algebra * involutive negation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.459, rok: 2008

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.

Zkoumáme výrokové logiky dané kombinací spojité SBL t-normy s konečně mnoha idempotenty a involutivní negace. Výsledkem je charakterizace těch spojitých t-norem, které v kombinaci s různými involutivními negacemi dávají buď izomorfní algebry, nebo algebry s odlišnými a neporovnatelnými množinami výrokových tautologií.
Trvalý link: http://hdl.handle.net/11104/0164394