Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic |
| |
| Authors: | Mitio Takano |
| |
| Affiliation: | (1) Department of Mathematics Faculty of Education, Niigata University, 950-21 Niigata, Japan |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
