Monadic bounded residuated lattices (Q1943692): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11083-011-9236-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2089190954 / rank | |||
Normal rank |
Revision as of 20:00, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monadic bounded residuated lattices |
scientific article |
Statements
Monadic bounded residuated lattices (English)
0 references
20 March 2013
0 references
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.
0 references
bounded integral residuated lattice
0 references
monadic residuated lattice
0 references
algebras of logics
0 references
quantifiers
0 references