首页 | 本学科首页   官方微博 | 高级检索  
     


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 existS (S epsiv S), and let LS be the monadic second-order predicate logic. We show that the mapping phiv 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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号