Summary
The aim of this paper is to give a geometric interpretation of quantifiers in the intutionistic predicate calculus. We obtain it treating formulae withn free variables as functions withn arguments which run over an abstract set whereas the values of functions are open subsets of a suitable topological space.
Rights and permissions
About this article
Cite this article
Rasiowa, H., Mostowski, A. A geometric interpretation of logical formulae. Stud Logica 1, 273–275 (1953). https://doi.org/10.1007/BF02272289
Issue Date:
DOI: https://doi.org/10.1007/BF02272289