Accès libre

On Weakly Associative Lattices and Near Lattices

À propos de cet article

Citez

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.

eISSN:
1898-9934
Langue:
Anglais
Périodicité:
4 fois par an
Sujets de la revue:
Informatique, autres, Mathématiques, Mathématiques générales