Showing math.LOShow all
2 papers · 1 filter
math.LO2020
An algebraic study of S5-modal Gödel logic
Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela +1
In this paper we continue the study of the variety of monadic Gödel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of Gödel…
math.LO2016
Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela +1
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators and . After a study of the basic properties of…