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

• Autorzy: Shalack, Vladimir

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

EN

theory; definition; predicate calculus

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2015
• Tom: 44
• Numer: 1-2

Daty

wydano

2015

Twórcy

autor

Shalack, Vladimir

other

Section of Logic, Institute of Philosophy, Russian Academy of Sciences Moscow, Russia

other

[e-mail]

Identyfikatory

URI

http://hdl.handle.net/11089/17396