Embedding the elementary ontology of stanisław leśniewski into the monadic second-order calculus of predicates

Studia Logica 42 (2-3):197 - 207 (1983)
  Copy   BIBTEX

Abstract

LetEO be the elementary ontology of Leniewski formalized as in Iwanu [1], and letLS be the monadic second-order calculus of predicates. In this paper we give an example of a recursive function , defined on the formulas of the language ofEO with values in the set of formulas of the language of LS, such that EO A iff LS (A) for each formulaA.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

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

Through your library

Similar books and articles

Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.

Analytics

Added to PP
2009-01-28

Downloads
42 (#111,429)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

References found in this work

S. Leśniewski's Calculus of Names.Jerzy Słupecki - 1984 - In Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.), Leśniewski's systems. Hingham, MA, USA: Distributors for the United States and Canada, Kluwer Boston. pp. 59--122.
S. leśniewski's calculus of names.Jerzy Słupecki - 1955 - Studia Logica 3 (1):7-72.
On leśniewski's elementary ontology.Bogusław Iwanuś - 1973 - Studia Logica 31 (1):73 - 125.
On Le'sniewski's Elementary Ontology.Bogusław Iwanuś - 1973 - Studia Logica 31 (1):7-72.
On Leśniewski's Elementary Ontology.Boguslaw Iwanuś - 1984 - In Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.), Leśniewski's systems. Hingham, MA, USA: Distributors for the United States and Canada, Kluwer Boston. pp. 165--215.

Add more references