| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6856120 | Fuzzy Sets and Systems | 2012 | 13 Pages |
Abstract
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 Å-, G-, and Î -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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Zuzana Haniková,