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)
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRichard Moot & Mario Piazza (2001). Linguistic Applications of First Order Intuitionistic Linear Logic. Journal of Logic, Language and Information 10 (2):211-232.
Jekeri Okee (1975). A Semantical Proof of the Undecidability of the Monadic Intuitionistic Predicate Calculus of the First Order. Notre Dame Journal of Formal Logic 16 (4):552-554.
Shmuel Lifsches & Saharon Shelah (1997). Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders. Journal of Symbolic Logic 62 (3):848-872.
Nino B. Cocchiarella (2001). A Conceptualist Interpretation of Lesniewski's Ontology. History and Philosophy of Logic 22 (1):29-43.
Evelyn N. Ransom (1977). On the Representation of Modality. Linguistics and Philosophy 1 (3):357 - 379.
Mohamed A. Amer (1989). First Order Logic with Empty Structures. Studia Logica 48 (2):169 - 177.
Klaus J. Schmidt (1984). Ein Rechenverfahren für Die Elementare Logik II. Journal for General Philosophy of Science 15 (1):22-33.
Mitio Takano (1987). Embeddings Between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic. Studia Logica 46 (3):247 - 253.
V. A. Smirnov (1986). A Correction to "Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates". Studia Logica 45 (2):231 -.
V. A. Smirnov (1983). Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates. Studia Logica 42 (2-3):197 - 207.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,507 of 548,970 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
