𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Set-Theoretic Characterization of Congruence Lattices

✍ Scribed by Manfred Armbrust

Publisher
John Wiley and Sons
Year
1970
Tongue
English
Weight
198 KB
Volume
16
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Functions on Distributive Lattices with
Functions on Distributive Lattices with the Congruence Substitution Property: Some Problems of GrΓ€tzer from 1964
✍ Jonathan David Farley πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 305 KB

Let L be a bounded distributive lattice. For k 1, let S k (L) be the lattice of k-ary functions on L with the congruence substitution property (Boolean functions); let S(L) be the lattice of all Boolean functions. The lattices that can arise as S k (L) or S(L) for some bounded distributive lattice L

The Congruences on the Semigroup of Bala
The Congruences on the Semigroup of Balanced Transformations of an Infinite Set
✍ M.Paula O. Marques-Smith; R.P. Sullivan πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 221 KB

showed that the semigroup generated by all non-identity idempotent transformations of an infinite set X is the disjoint union of two semigroups, one of which is denoted by H and consists of all balanced transformations of X (that is, all transformations whose defect, shift, and collapse are equal an

On open-set lattices and some of their a
On open-set lattices and some of their applications in semantics
✍ Mouw-Ching Tjiok πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 333 KB πŸ‘ 1 views

In this article, we present the theory of Kripke semantics, along with the mathematical framework and applications of Kripke semantics. We take the Kripke-Sato approach to define the knowledge operator in relation to Hintikka's possible worlds model, which is an application of the semantics of intui