An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence θ on A is a union of θ-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class ...

A simplified proof of Thorp and Walden’s fundamental theorem of card counting is presented, and a corresponding central limit theorem is established. Results are applied to the casino game of trente et quarante, a game studied by Poisson and De Morgan.

In this paper we give a characterization of all the interpretations of the varieties of bounded distributive lattices, De Morgan algebras and Lukasiewicz algebras of order m in the variety of Lukasiewicz algebras of order n. In the case of distributive lattices we give a structure theorem that is generalized to De Morgan algebras and to Lukasiewicz algebras of order m. In the last two cases we ...

The concepts of semicompactness, countable semicompactness, and the semi-Lindelöf property are introduced in L-topological spaces, where L is a complete de Morgan algebra. They are defined by means of semiopen L-sets and their inequalities. They do not rely on the structure of basis lattice L and no distributivity in L is required. They can also be characterized by semiclosed L-sets and their i...

Different languages that are offered to model vague preferences are reviewed and an interval-valued language is proposed to resolve a particular difficulty encountered with other languages. It is shown that interval-valued languagesare well definedfor De Morgan triples constructedby continuoustriangular norms, conorms and a strong negation function. A new transitivity condition for vague prefer...

A new notion of SP-compactness is introduced in L-topological spaces by means of semi-preopen L-sets and their inequality, where L is a complete De Morgan algebra. This new notion does not depend on the structure of basis lattice L and L does not require any distributivity. This new notion implies semicompactness, hence it also implies compactness. This new notion is a good extension and it has...

Logical connectives on fuzzy sets arise from those on the unit interval. The basic theory of these connectives is cast in an algebraic spirit with an emphasis on equivalence between the various systems that arise. Special attention is given to De Morgan systems with strict Archimedean t-norms and strong negations. A typical result is that any De Morgan system with strict t-norm and strong negat...

Semi De Morgan algebras form a variety of normal distributive lattice expansions [7] introduced by H.P. Sankappanavar [16] as a common abstraction of De Morgan algebras and distributive pseudocomplemented lattices. A fully selfextensional logic SDM naturally arises from semi De Morgan algebras, which has been studied from a duality-theoretic perspective [13], from the perspective of canonical e...