Truth Filters in de Morgan Lattices
Publications de l'Institut Mathématique, _N_S_28 (1980) no. 42, p. 25
Citer cet article
Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
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.