You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
Embeddings between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic
Studia Logica: An International Journal for Symbolic Logic
Vol. 46, No. 3 (1987), pp. 247-253
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015315
Page Count: 7
Preview not available
Let EOA be the elementary ontology augmented by an additional axiom ∃$S(S\epsilon 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.
Studia Logica: An International Journal for Symbolic Logic © 1987 Springer