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.
Similar content being viewed by others
References
B. Iwanuś, On Leśniewski's elementary ontology, Studia Logica 31 (1972), pp.73–125.
J. Słupecki, S. Leśniewski's calculus of names, Studia Logica 3 (1955), pp. 7–71.
V. A. Smirnov, Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates, Studia Logica 42 (1983), pp. 197–207.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takano, M. Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic. Stud Logica 46, 247–253 (1987). https://doi.org/10.1007/BF00372549
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00372549