A Note on Pseudo-Kleene Algebras
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 55 (2016) no. 1, pp. 39-45
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library
We introduce the concept of a pseudo-Kleene algebra which is a non-distributive modification of a Kleene algebra introduced by J. A. Kalman [Kalman, J. A.: Lattices with involution. Trans. Amer. Math. Soc. 87 (1958), 485–491.]. Basic properties of pseudo-Kleene algebras are studied. For pseudo-Kleene algebras with a fix-point there are determined subdirectly irreducible members.
We introduce the concept of a pseudo-Kleene algebra which is a non-distributive modification of a Kleene algebra introduced by J. A. Kalman [Kalman, J. A.: Lattices with involution. Trans. Amer. Math. Soc. 87 (1958), 485–491.]. Basic properties of pseudo-Kleene algebras are studied. For pseudo-Kleene algebras with a fix-point there are determined subdirectly irreducible members.
Classification :
06B05, 06D30
Keywords: Antitone involution; De Morgan laws; Kleene algebra; distributive lattice; pseudo-Kleene algebra; subdirectly irreducible
Keywords: Antitone involution; De Morgan laws; Kleene algebra; distributive lattice; pseudo-Kleene algebra; subdirectly irreducible
@article{AUPO_2016_55_1_a5,
author = {Chajda, Ivan},
title = {A {Note} on {Pseudo-Kleene} {Algebras}},
journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
pages = {39--45},
year = {2016},
volume = {55},
number = {1},
mrnumber = {3674598},
zbl = {06724346},
language = {en},
url = {http://geodesic.mathdoc.fr/item/AUPO_2016_55_1_a5/}
}
Chajda, Ivan. A Note on Pseudo-Kleene Algebras. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 55 (2016) no. 1, pp. 39-45. http://geodesic.mathdoc.fr/item/AUPO_2016_55_1_a5/
[1] Birkhoff, G.: Lattice Theory. Amer. Math. Soc. Colloqnium Publ. 25, second edition, American Mathematical Society, New York, 1948. | MR | Zbl
[2] Cignoli, R.: Injective de Morgan and Kleene algebras. Proc. Amer. Math. Soc. 47 (1975), 269–278. | DOI | MR | Zbl
[3] Crvenkovič, S., Madarasz, R. Sz.: On Kleene algebras. Theoret. Comput. Sci. 108 (1993), 17–24. | DOI | MR | Zbl
[4] Kalman, J. A.: Lattices with involution. Trans. Amer. Math. Soc. 87 (1958), 485–491. | DOI | MR | Zbl