PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2016 | 24 | 2 | 95-106
Tytuł artykułu

On Multiset Ordering

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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].
Słowa kluczowe
Wydawca
Rocznik
Tom
24
Numer
2
Strony
95-106
Opis fizyczny
Daty
wydano
2016-06-01
otrzymano
2015-12-31
online
2016-12-08
Twórcy
  • Association of Mizar Users, Białystok,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2016-0008
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.