PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 44 | 1-2 |
Tytuł artykułu

On Some Applied First-Order Theories which Can Be Represented by Definitions

Treść / Zawartość
Warianty tytułu
Języki publikacji
Abstrakty
EN
In the paper we formulate a sufficient criterion in order for the first order theory with finite set of axioms to be represented by definitions in predicate calculus. We prove the corresponding theorem. According to this criterion such theories as the theory of equivalence relation, the theory of partial order and many theories based on the equality relation with finite set of functional and predicate symbols are represented by definitions in the first-order predicate calculus without equality.
Słowa kluczowe
Rocznik
Tom
44
Numer
1-2
Opis fizyczny
Daty
wydano
2015
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
URI
http://hdl.handle.net/11089/17396
Identyfikator YADDA
bwmeta1.element.hdl_11089_17396
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ć.