Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic

Studia Logica 46 (3):247 - 253 (1987)
  Copy   BIBTEX

Abstract

Let EOA be the elementary ontology augmented by an additional axiom S (S S), and let LS be the monadic second-order predicate logic. We show that the mapping which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.

Categories

Keywords

Reprint years

DOI

10.1007/bf00372549

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

Standardization principle of nonstandard universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Embedding the elementary ontology of stanisław leśniewski into the monadic second-order calculus of predicates.V. A. Smirnov - 1983 - Studia Logica 42 (2-3):197 - 207.
A Correction to "Embedding the Elementary Ontology of Stanisław Leśniewski into the Monadic Second-Order Calculus of Predicates".V. A. Smirnov - 1986 - Studia Logica 45 (2):231 -.
A conceptualist interpretation of Lesniewski's ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Interpreting second-order logic in the monadic theory of order.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):816-828.
Relations in monadic third-order logic.A. P. Hazen - 1997 - Journal of Philosophical Logic 26 (6):619-628.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Peano arithmetic may not be interpretable in the monadic theory of linear orders.Shmuel Lifsches & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (3):848-872.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.

Analytics

Added to PP
2009-01-28

Downloads
26 (#561,277)

6 months
2 (#1,015,942)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):129-138.

Add more citations

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.), Studia Logica. 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śniewski's Elementary Ontology.Boguslaw Iwanuś - 1984 - In Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.), Studia Logica. Distributors for the United States and Canada, Kluwer Boston. pp. 165--215.

View all 6 references / Add more references