Now showing items 1-1 of 1
On Some Applied First-Order Theories which Can Be Represented by Definitions
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)
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 ...