ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

A geometric interpretation of logical formulae (1953)

Rasiowa, H. ; Mostowski, A.

Springer

Studia logica 1 (1953), S. 273-275

add to mindlist on the mindlist

Details

ISSN: 1572-8730

Source: Springer Online Journal Archives 1860-2000

Topics: Mathematics , Philosophy

Notes: 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.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF02272289

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit