Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters

0373822 - ÚI 2013 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematics * non-classical logics * algebra * basic fuzzy logic BL * propositional constants
Subject RIV: BA - General Mathematics
Impact factor: 1.749, year: 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.
Permanent Link: http://hdl.handle.net/11104/0206886