Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters

Autoři: RNDr. Zuzana Haniková, Ph.D.
Rok vydání: 2012
Typ publikace: Článek v odborném periodiku
Periodikum: Fuzzy Sets and Systems
Projekty: Logické modely usuzovaní s vagními informacemi
Bibliografická citace: HANIKOVÁ, Zuzana. Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters. Fuzzy Sets and Systems. 2012, 197(16 June), 95-107. ISSN 0165-0114. E-ISSN 1872-6801
Dostupné z: doi:10.1016/j.fss.2011.11.006
DOI: 10.1016/j.fss.2011.11.006
ID: 373822

Abstrakt

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.