REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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 (IInf)
Formalized Mathematics, 2021, Volume 29, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
10.2478_forma-2021-0008.pdf239,73 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons