Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters

0373822 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana
Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters.
Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 95-107. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematics * non-classical logics * algebra * basic fuzzy logic BL * propositional constants
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.749, rok: 2012

In this paper we investigate the propositional logic of standard algebras for Hájek's Basic Fuzzy Logic BL in a language expanded with propositional constants for the idempotent elements delimiting the L-, G-, and Pi-components of the algebra. We start from a fixed standard BL-algebra; introduce new propositional constants; present a suitable set of axioms; investigate completeness results; and give some complexity results.
Trvalý link: http://hdl.handle.net/11104/0206886