Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic |
scientific article |
Statements
Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (English)
0 references
20 February 2018
0 references
The authors introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators \(\forall\) and \(\exists\). After a study of the basic properties of this variety, they show that this class is the equivalent algebraic semantics of the monadic fragment of Hájek's basic predicate logic. In addition, they start a systematic study of the main subvarieties of monadic BL-algebras, some of which constitute the algebraic semantics of well-known monadic logics: monadic Gödel logic and monadic Łukasiewicz logic. Finally, a complete characterization of totally ordered monadic BL-algebras is given.
0 references
mathematical fuzzy logic
0 references
monadic logic
0 references
BL-algebras
0 references