Characterizing ordered semigroups by means of intuitionistic fuzzy bi-ideals.
H. Yongfa, R. Xu, X. Fang (2007)
Mathware and Soft Computing
Jiří Rachůnek (1994)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Jiří Rachůnek, Dana Šalounová (2009)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of -algebras and Heyting algebras, i.e. algebras of basic fuzzy logic and intuitionistic logic, respectively. In the paper we develop the theory of filters of bounded commutative -monoids.
Jiří Rachůnek, Dana Šalounová (2010)
Mathematica Bohemica
The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of -algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...
František Šik (1973)
Czechoslovak Mathematical Journal
Ján Jakubík (1997)
Mathematica Bohemica
In this paper we prove that the system of all closed convex -subgroups of a convergence -group is a Brouwer lattice and that a similar result is valid for radical classes of convergence -groups.
Michael R. Darnel (1987)
Czechoslovak Mathematical Journal
Ján Jakubík (1988)
Czechoslovak Mathematical Journal
Marra, Vincenzo, Mundici, Daniele (2002)
Séminaire Lotharingien de Combinatoire [electronic only]
David Stanovský (2007)
Czechoslovak Mathematical Journal
We investigate the variety of residuated lattices with a commutative and idempotent monoid reduct.
Doh, Myung Im, Kang, Min Su (2011)
International Journal of Mathematics and Mathematical Sciences
Paul J. Allen, Hee Sik Kim, Joseph Neggers (2007)
Mathematica Slovaca
Močkoř, Jiří, Kontolatou, Angeliki (2005)
International Journal of Mathematics and Mathematical Sciences
Donald Joseph Hansen (1973)
Commentationes Mathematicae Universitatis Carolinae
Robert L. Madell (1980)
Czechoslovak Mathematical Journal
Ján Jakubík (2001)
Czechoslovak Mathematical Journal
In this paper we investigate the possibility of a regular embedding of a lattice ordered group into a completely distributive vector lattice.
Jitka Ševečková, František Šik (1989)
Archivum Mathematicum
Ján Jakubík (1993)
Czechoslovak Mathematical Journal
Josef Niederle (1989)
Czechoslovak Mathematical Journal
Ján Jakubík (2002)
Mathematica Bohemica
This paper deals with directly indecomposable direct factors of a directed set.