Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DM_2011_23_2_a10, author = {D. N. Zhuk}, title = {The predicate method to construct the {Post} lattice}, journal = {Diskretnaya Matematika}, pages = {115--128}, publisher = {mathdoc}, volume = {23}, number = {2}, year = {2011}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DM_2011_23_2_a10/} }
D. N. Zhuk. The predicate method to construct the Post lattice. Diskretnaya Matematika, Tome 23 (2011) no. 2, pp. 115-128. http://geodesic.mathdoc.fr/item/DM_2011_23_2_a10/
[1] Post E., “Determination of all closed systems of truth tables”, Bull. Amer. Math. Soc., 26 (1920), 437
[2] Post E., Two-valued iterative systems of mathematical logic, Princeton Univ. Press, Princeton, 1941 | MR | Zbl
[3] Yablonskii S. V., Gavrilov G. P., Kudryavtsev V. B., Funktsii algebry logiki i klassy Posta, Nauka, Moskva, 1966 | MR
[4] Ugolnikov A. B., “O zamknutykh klassakh Posta”, Izvestiya vysshikh uchebnykh zavedenii. Matematika, 1988, no. 7(314), 79–88 | MR
[5] Bondarchuk V. G., Kaluzhnin L. A., Kotov V. N., Romov B. A., “Teoriya Galua dlya algebr Posta I”, Kibernetika, 1969, no. 3, 1–10; “II”, No 5, 1–9