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.
Sorry, we do not have enough data to show an influence graph for this author.
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