L. Dubikajtis

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A b s t r a c t. As it is well known, the set of theorems: T h LP of the first order predicate calculus LP contains all formulae which are valid in every universe with non-empty set of individuals. In this paper I investigate a certain restriction LM of LP. Its set of theorems contains only the theorems valid also in the " empty-universe " (i.e. in the(More)
  • 1