The predicate method to construct the Post lattice
Diskretnaya Matematika, Tome 23 (2011) no. 2, pp. 115-128
Voir la notice de l'article provenant de la source Math-Net.Ru
We suggest a new way to construct the structure of all closed classes of two-valued logic. In contrast to classical approaches, in this research the functions of two-valued logic are auxiliary objects and the construction starts from the set of predicates.
@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/