A geometric interpretation of logical formulae

&
Studia Logica 1 (1):273-275 (1953)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/bf02272289

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Operators Defined By Propositional Quantification And Their Interpretation Over Cantor Space.Tomasz Polacik - 1993 - Reports on Mathematical Logic:67-79.
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.
Open core and small groups in dense pairs of topological structures.Elías Baro & Amador Martin-Pizarro - 2021 - Annals of Pure and Applied Logic 172 (1):102858.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
Mechanical theorem proving in a certain class of formulae of the predicate calculus.Ewa Orłowska - 1969 - Studia Logica 25 (1):17 - 29.
On Geometric Implications.Amirhossein Akbar Tabatabai - forthcoming - Studia Logica:1-30.
On Neutrosophic Semi-Supra Open Set and Neutrosophic Semi-Supra Continuous Functions.R. Dhavaseelan, M. Parimala, S. Jafari & F. Smarandache - 2017 - Neutrosophic Sets and Systems 16:39-43.
Connectification forn-contraction.Andreja Prijatelj - 1995 - Studia Logica 54 (2):149 - 171.
An interpretation of a certain fragment of arithmetic in some propositional calculus.Zdzislaw Dywan - 1984 - Bulletin of the Section of Logic 13 (2):99-103.
Topologies and free constructions.Anna Bucalo & Giuseppe Rosolini - 2013 - Logic and Logical Philosophy 22 (3):327-346.

Analytics

Added to PP
2009-01-28

Downloads
31 (#532,056)

6 months
4 (#862,849)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references