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
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
Ajtai’s constr...
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 ...
Weakly Quasi-Primary K- Modules
Weakly Quasi-Primary K- Modules
Important areas for study in the field of modules include prime modules .There has already been an introduction to the idea of quasi-prime modules .Our focus recently has been on...
Associative connections in the linguistic consciousness of ukrainians and poles: the world after 24.02.2022
Associative connections in the linguistic consciousness of ukrainians and poles: the world after 24.02.2022
The war causes a lot of reflection, often unsaid, and leaves great injuries in the heart of Ukrainians. Everyone experiences war has different physical, mental, and emotional exper...