Abstract
We say that an n-argument predicate P ⊂ Ω n is finite, if P is a finite set. Note that the set of individuals Ω is infinite! Finite predicates are useful in data bases and in finite mathematics. The logic DBL proposed here operates on finite predicates only. We construct an imbedding for DBL in a special modal logic MPL. We prove that if a finite predicate is expressible in the classical logic, it is also expressible in DBL. Quantifiers are not necessary in DBL. Some simple algebraic properties of DBL are indicated.
Similar content being viewed by others
References
F. Kárteszi, Introduction to Finite Geometries, Budapest, 1976.
E. F. Codd, Relational completeness of data base sublanguages, Courant Computer Science Symposium, vol. 6, Data Base Systems, N.-Y, 1972, pp. 65–98.
H. Rasiowa, An Algebraic Approach to Non-Classical Logics, Warszawa, 1974.
S. Burris, H. P. Sankappanavar, A Course in Universal Algebra, Springer, 1981.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dishkant, H. About finite predicate logic. Stud Logica 45, 405–414 (1986). https://doi.org/10.1007/BF00370273
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370273