Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
On Weakly Associative Lattices and Near Lattices
View through CrossRef
Summary. The main aim of this article is to introduce formally two generalizations of lattices, namely weakly associative lattices and near lattices, which can be obtained from the former by certain weakening of the usual well-known axioms. We show selected propositions devoted to weakly associative lattices and near lattices from Chapter 6 of [15], dealing also with alternative versions of classical axiomatizations. Some of the results were proven in the Mizar [1], [2] system with the help of Prover9 [14] proof assistant.
Title: On Weakly Associative Lattices and Near Lattices
Description:
Summary.
The main aim of this article is to introduce formally two generalizations of lattices, namely weakly associative lattices and near lattices, which can be obtained from the former by certain weakening of the usual well-known axioms.
We show selected propositions devoted to weakly associative lattices and near lattices from Chapter 6 of [15], dealing also with alternative versions of classical axiomatizations.
Some of the results were proven in the Mizar [1], [2] system with the help of Prover9 [14] proof assistant.
Related Results
Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter
Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter
<div>Cyclic lattices and ideal lattices were introduced by Micciancio in \cite{D2}, Lyubashevsky and Micciancio in \cite{L1} respectively, which play an efficient role in Ajt...
Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter
Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter
<div>Cyclic lattices and ideal lattices were introduced by Micciancio in \cite{D2}, Lyubashevsky and Micciancio in \cite{L1} respectively, which play an efficient role in Ajt...
Review of Canadian Field Cases of Chemical Floods with Associative Polymer
Review of Canadian Field Cases of Chemical Floods with Associative Polymer
Abstract
Polymer flooding is now a well-recognised and mature technology to increase hydrocarbon recovery, used in many parts of the world. Given its success, operat...
Unbounded Star Convergence in Lattices
Unbounded Star Convergence in Lattices
Let L be a vector lattice, "(" x_α ") " be a L-valued net, and x∈L . If |x_α-x|∧u→┴o 0 for every u ∈〖 L〗_+ then it is said that the net "(" x_α ")" unbounded order converges ...
Weakly 2‐Absorbing Ideals in Almost Distributive Lattices
Weakly 2‐Absorbing Ideals in Almost Distributive Lattices
The concepts of weakly 2‐absorbing ideal and weakly 1‐absorbing prime ideal in an almost distributive lattice (ADL) are introduced, and the necessary conditions for a weakly 1‐abso...
Study on the Hydraulic action Mechanism and Support Measures of Weakly Cemented Muddy Surrounding Rock
Study on the Hydraulic action Mechanism and Support Measures of Weakly Cemented Muddy Surrounding Rock
Abstract
In western China, there are extensive silty weakly cemented strata, whose significant hydraulic effects severely restrict the safe and efficient mining of ...
Free mu-lattices
Free mu-lattices
A mu-lattice is a lattice with the property that every unary <br />polynomial has both a least and a greatest fix-point. In this paper<br />we define the quasivariety o...
On Weakly S-Primary Ideals of Commutative Rings
On Weakly S-Primary Ideals of Commutative Rings
Let R be a commutative ring with identity and S be a multiplicatively closed subset of R. The purpose of this paper is to introduce the concept of weakly S-primary ideals as a new ...