Expanding Basic Fuzzy Logic with truth constants for component delimiters
In this paper we investigate the propositional logic of standard algebras for Hajek'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. (C) 2011 Elsevier By. All rights reserved.
algebra basic fuzzy logic bl propositional constants mathematics non-classical logics