Distributive ordered sets and relative pseudocomplements
Brouwerian ordered sets generalize Brouwerian lattices. The aim of this paper is to characterize (α)-complete Brouwerian ordered sets in a manner similar to that used previously for pseudocomplemented, Stone, Boolean and distributive ordered sets. The sublattice (G(P)) in the Dedekind-Mac~Neille completion (DM(P)) of an ordered set (P) generated by (P) is said to be the characteristic lattice of (P). We can define a stronger notion of Brouwerianicity by demanding that both (P) and (G(P)) be Brouwerian....
Distributive pairs in biatomic lattices.
Distributive partially ordered sets
Distributive properties in semi-modular lattices.
Distributive, standard and neutral elements in trellises.
Distributività rispetto all'unione e residuazione nei gruppoidi con ordine
Distributivität des -Untergruppenverbandes einer Verbandsgruppe
Distributivity and wellfounded semilattices.
Distributivity in finitely generated orthomodular lattices
Distributivity in lattice ordered groups
Distributivity of bounded lattices with sectionally antitone involutions
We present a simple condition under which a bounded lattice L with sectionally antitone involutions becomes an MV-algebra. In thiscase, L is distributive. However, we get a criterion characterizingdistributivity of L in terms of antitone involutions only.
Distributivity of intervals of torsion radicals
Distributivity of strong implications over conjunctive and disjunctive uninorms
This paper deals with implications defined from disjunctive uninorms by the expression where is a strong negation. The main goal is to solve the functional equation derived from the distributivity condition of these implications over conjunctive and disjunctive uninorms. Special cases are considered when the conjunctive and disjunctive uninorm are a -norm or a -conorm respectively. The obtained results show a lot of new solutions generalyzing those obtained in previous works when the implications...
Divisibility in certain automorphism groups
We study solvability of equations of the form in the groups of order automorphisms of archimedean-complete totally ordered groups of rank 2. We determine exactly which automorphisms of the unique abelian such group have square roots, and we describe all automorphisms of the general ones.
Divisibility orders on semigroups. II.
Divisible effect algebras and interval effect algebras
It is shown that divisible effect algebras are in one-to-one correspondence with unit intervals in partially ordered rational vector spaces.
Divisor class groups of ordered subgroups
DMF-algebras: representation and topological characterization
Gli insiemi parziali sono coppie di sottoinsiemi di , dove . Gli insiemi parziali su costituiscono una DMF-algebra, ossia un'algebra di De Morgan in cui la negazione ha un solo punto fisso. Dimostriamo che ogni DMF-algebra è isomorfa a un campo di insiemi parziali. Utilizzando gli insiemi parziali su come aperti, introduciamo il concetto di spazio topologico parziale su . Infine associamo ad ogni DMF-algebra uno spazio topologico parziale i cui clopen compatti costituiscono un campo d'insiemi...
Does imply axiom of choice?