Results 11 to 20 of about 116 (68)
Varieties of distributive rotational lattices [PDF]
A rotational lattice is a structure (L;\vee,\wedge, g) where L=(L;\vee,\wedge) is a lattice and g is a lattice automorphism of finite order. We describe the subdirectly irreducible distributive rotational lattices.
A.H. Clifford +14 more
core +2 more sources
Note on distributive posets [PDF]
In this note we study distributive posets. We discuss several notions of distributivity in posets and show their equivalence. Moreover, the Prime Ideal Theorem for Distributive Posets is shown to be equivalent with the famous Prime Ideal Theorem for ...
Paseka, Jan
core +1 more source
Taxonomies of Model-theoretically Defined Topological Properties [PDF]
A topological classification scheme consists of two ingredients: (1) an abstract class K of topological spaces; and (2) a taxonomy , i.e. a list of first order sentences, together with a way of assigning an abstract class of spaces to each sentence of ...
Bankston +13 more
core +3 more sources
Congruences of Sheffer stroke basic algebras
In this paper, congruences and (order, prime and compatible) filters are introduced in Sheffer stroke basic algebras. They are interrelated with each other.
Senturk Ibrahim +2 more
doaj +1 more source
Integer partitions, tilings of $2D$-gons and lattices [PDF]
In this paper, we study two kinds of combinatorial objects, generalized integer partitions and tilings of 2D-gons (hexagons, octagons, decagons, etc.).
Latapy, Matthieu
core +1 more source
Characterization of Almost Semi-Heyting Algebra
In this paper, we initiate the discourse on the properties that hold in an almost semi-Heyting algebra but not in an semi-Heyting almost distributive lattice.
Srikanth V.V.V.S.S.P.S. +2 more
doaj +1 more source
Kleene algebras with implication [PDF]
Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication (H, ∧, ∨, →, 0, 1) which satisfy ...
Castiglioni, José Luis +2 more
core +1 more source
Uniqueness Theorem in Complete Residuated Almost Distributive Lattices
Important properties of primary elements in a complete residuated ADL L and the uniqueness theorem in a complete complemented residuated ADL L are proved.
Rao G.C., Raju S.S.
doaj +1 more source
Study of Hilbert algebras in point of filters
The aim of this work is to introduce some types of filters in Hilbert algebras. Some theorems are stated and proved which determine the relationship between these notions and other filters of Hilbert algebra and by some examples we show that these ...
Nasab Ali Soleimani +1 more
doaj +1 more source
Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation [PDF]
The present note is an Erratum for the two theorems of the paper "Congruences and ideals in a distributive lattice with respect to a derivation" by M.
Barzegar, Hasan
core +1 more source

