Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain

Studia Logica 46 (1):1 - 15 (1987)
There is given the proof of strict embedding of Leniewski's elementary ontology into monadic second-order calculus of predicates providing a formalization of the class of all formulas valid in all domains (including the empty one). The elementary ontology with the axiom S (S S) is strictly embeddable into monadic second-order calculus of predicates which provides a formalization of the classes of all formulas valid in all non-empty domains.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00396902
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,827
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
A Conceptualist Interpretation of Lesniewski's Ontology.Nino Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
On the Representation of Modality.Evelyn N. Ransom - 1977 - Linguistics and Philosophy 1 (3):357 - 379.
First Order Logic with Empty Structures.Mohamed A. Amer - 1989 - Studia Logica 48 (2):169 - 177.
Ein Rechenverfahren Für Die Elementare Logik II.Klaus J. Schmidt - 1984 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 15 (1):22-33.
Added to PP index

Total downloads
11 ( #437,929 of 2,210,405 )

Recent downloads (6 months)
1 ( #380,811 of 2,210,405 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature