The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be
Distributive Lattices with a Dual Endomorphism
β Scribed by H. P. Sankappanavar
- Publisher
- John Wiley and Sons
- Year
- 1985
- Tongue
- English
- Weight
- 360 KB
- Volume
- 31
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
## Abstract HedrlΓn and Pultr proved that for any monoid **M** there exists a graph __G__ with endomorphism monoid isomorphic to **M**. In this paper we give a construction __G__(__M__) for a graph with prescribed endomorphism monoid **M**. Using this construction we derive bounds on the minimum nu
Let P be a graded poset with 0 and 1 and rank at least 3. Assume that every rank 3 interval is a distributive lattice and that, for every interval of rank at least 4, the interval minus its endpoints is connected. It is shown that P is a distributive lattice, thus resolving an issue raised by Stanle
A synthesis method based on geometrical optics to design a dual-reflector antenna system with maximum power transfer efficiency is presented. The system has nonunifon phase and amplitude distributions on the aperture. In our design, the effect of aperture blocking is also considered.