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...
THE RESEARCH POTENTIAL OF ASSOCIATIVE LEXICOGRAPHY: PROSPECTS OF DIACHRONIC RESEARCH IN KAZAKHSTAN
THE RESEARCH POTENTIAL OF ASSOCIATIVE LEXICOGRAPHY: PROSPECTS OF DIACHRONIC RESEARCH IN KAZAKHSTAN
The article describes the history of the formation of world associative lexicography, examines the typology and electronic databases of various associative dictionaries, their mean...
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 ...
Gitter und Anwendungen
Gitter und Anwendungen
Respecting the different backgrounds of the participants, most of the talks were aimed to a broad audience, among those nine survey talks invited by the organizers. This concept wa...
Associative Way from Perception to Understanding: Associative Field vs Lexical-Semantic Field
Associative Way from Perception to Understanding: Associative Field vs Lexical-Semantic Field
Abstract: Nearly 1000 associative connections between words-stimuli of the economic area (capital, businessman, dumping etc.) and reactions to them obtained through the free associ...
Production enhances familiarity-based associative recognition through the formation of unitized representations
Production enhances familiarity-based associative recognition through the formation of unitized representations
ABSTRACTThe production effect—the robust mnemonic advantage for words or items read aloud relative to those read silently—is well documented in item memory. However, evidence for e...