Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/12387
Tytuł: | On Weakly Associative Lattices and Near Lattices |
Autorzy: | Sawicki, Damian Grabowski, Adam |
Słowa kluczowe: | weakly associative lattice near lattice |
Data wydania: | 2021 |
Data dodania: | 3-sty-2022 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 29, Issue 2, Pages 77-85 |
Abstrakt: | 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. |
Afiliacja: | Damian Sawicki - Institute of Informatics, University of Białystok, Poland Adam Grabowski - Institute of Informatics, University of Białystok, Poland |
URI: | http://hdl.handle.net/11320/12387 |
DOI: | 10.2478/forma-2021-0008 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
metadata.dc.identifier.orcid: | brakorcid 0000-0001-5026-3990 |
Typ Dokumentu: | Article |
metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
Właściciel praw: | © 2021 University of Białymstoku CC-BY-SA License ver. 3.0 or later |
Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2021, Volume 29, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2021-0008.pdf | 239,73 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL