Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5495
Tytuł: | On Multiset Ordering |
Autorzy: | Bancerek, Grzegorz |
Słowa kluczowe: | ordering Dershowitz-Manna ordering |
Data wydania: | 2016 |
Data dodania: | 16-maj-2017 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 24, Issue 2, pp. 95–106 |
Abstrakt: | Formalization of a part of [11]. Unfortunately, not all is possible to be formalized. Namely, in the paper there is a mistake in the proof of Lemma 3. It states that there exists x ∈ M1 such that M1(x) > N1(x) and (∀y ∈ N1)x ⊀ y. It should be M1(x) ⩾ N1(x). Nevertheless we do not know whether x ∈ N1 or not and cannot prove the contradiction. In the article we referred to [8], [9] and [10]. |
Afiliacja: | Bancerek Grzegorz - Association of Mizar Users, Białystok, Poland |
URI: | http://hdl.handle.net/11320/5495 |
DOI: | 10.1515/forma-2016-0008 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2016, Volume 24, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2016-0008.pdf | 291,9 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL