Truth Filters in de Morgan Lattices
Publications de l'Institut Mathématique, _N_S_28 (1980) no. 42, p. 25
In this paper Stone-type theorems on existence of truth
filters in De Morgan lattices are obtained. It is shown that
$(^*)\cdots(a\wedge T)\cap T_0=\emptyset$ is necessary and sufficient
for existence of a truth filter containing {\bf a}, where $T_0$ and
$T_1$ are sets of zeroes and units. Also, it is proved that the filter
$F$ is contained in a truth filter iff for each member {\bf a} of $F$
holds $(^*)$. Some other related results are proved, too.
@article{PIM_1980_N_S_28_42_a3,
author = {Milan Bo\v{z}i\'c},
title = {Truth {Filters} in de {Morgan} {Lattices}},
journal = {Publications de l'Institut Math\'ematique},
pages = {25 },
year = {1980},
volume = {_N_S_28},
number = {42},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PIM_1980_N_S_28_42_a3/}
}
Milan Božić. Truth Filters in de Morgan Lattices. Publications de l'Institut Mathématique, _N_S_28 (1980) no. 42, p. 25 . http://geodesic.mathdoc.fr/item/PIM_1980_N_S_28_42_a3/