Distinguishing Standard SBL-algebras with Involutive Negations by Propositional Formulas

0313643 - ÚI 2009 RIV DE eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * strict basic logic * continuous t-norm * standard SBL-algebra * involutive negation
Subject RIV: BA - General Mathematics
Impact factor: 0.459, year: 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í.
Permanent Link: http://hdl.handle.net/11104/0164394