Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/10838
Tytuł: | Formalization of Quasilattices |
Autorzy: | Kulesza, Dominik Grabowski, Adam |
Słowa kluczowe: | lattice theory quasilattice absorption law |
Data wydania: | 2020 |
Data dodania: | 4-maj-2021 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 28, Issue 2, Pages 217-225 |
Abstrakt: | The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the axiomatization of the former class by certain weakening of ordinary absorption laws. We show propositions QLT-1 to QLT-7 from [15], presenting also some short variants of corresponding axiom systems. Some of the results were proven in the Mizar [1], [2] system with the help of Prover9 [14] proof assistant. |
Afiliacja: | Dominik Kulesza - Institute of Informatics, University of Białystok, Poland Adam Grabowski - Institute of Informatics, University of Białystok, Poland |
URI: | http://hdl.handle.net/11320/10838 |
DOI: | 10.2478/forma-2020-0019 |
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: | © 2020 University of Białymstoku; CC-BY-SA License ver. 3.0 or later; |
Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2020, Volume 28, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2020-0019.pdf | 244,1 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL