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