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 Fl-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.