Displaying similar documents to “Monotone modal operators on bounded integral residuated lattices”

Interior and closure operators on bounded residuated lattices

Jiří Rachůnek, Zdeněk Svoboda (2014)

Open Mathematics

Similarity:

Bounded integral residuated lattices form a large class of algebras containing some classes of algebras behind many valued and fuzzy logics. In the paper we introduce and investigate multiplicative interior and additive closure operators (mi- and ac-operators) generalizing topological interior and closure operators on such algebras. We describe connections between mi- and ac-operators, and for residuated lattices with Glivenko property we give connections between operators on them and...

Interior and Closure Operators on Commutative Bounded Residuated Lattices

Jiří Rachůnek, Zdeněk Svoboda (2013)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Commutative bounded integral residuated lattices form a large class of algebras containing some classes of algebras behind many valued and fuzzy logics. In the paper we introduce and investigate additive closure and multiplicative interior operators on this class of algebras.

Algebraic axiomatization of tense intuitionistic logic

Ivan Chajda (2011)

Open Mathematics

Similarity:

We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice...

Modal operators on bounded residuated l -monoids

Jiří Rachůnek, Dana Šalounová (2008)

Mathematica Bohemica

Similarity:

Bounded residuated lattice ordered monoids ( R ℓ -monoids) form a class of algebras which contains the class of Heyting algebras, i.e. algebras of the propositional intuitionistic logic, as well as the classes of algebras of important propositional fuzzy logics such as pseudo MV -algebras (or, equivalently, GMV -algebras) and pseudo BL -algebras (and so, particularly, MV -algebras and BL -algebras). Modal operators on Heyting algebras were studied by Macnab (1981), on MV -algebras were studied by Harlenderová...