Monadic bounded residuated lattices (Q1943692)

Algebraic counterparts of the existential and universal quantifiers have been frequently studied for certain nonclassical logics. Monadic Boolean algebras, monadic MV-algebras, monadic Heyting algebras and monadic R\(\ell\)-monoids have been defined and studied. The purpose of the present paper is to introduce and investigate the monadic bounded integral residuated lattices. The bounded integral residuated lattices form a large class of algebras which contains algebraic counterparts of several propositional logics behind many-valued reasoning and intuitionistic logic. In this paper, the authors introduce and investigate monadic bounded integral residuated lattices, which can be taken as a generalization of algebraic models of the predicate calculi of those logics in which only a single variable occurs. The functional monadic residuated lattices are defined and it is shown that such algebras are monadic residuated lattices. The authors study the connections between congruences and filters of monadic residuated lattices and show that the monadic residuated lattices can be characterized by means of pairs of residuated lattices.