Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain |
| |
Authors: | Vladimir A. Smirnov |
| |
Affiliation: | (1) Institute of Philosophy Academy of Sciences of USSR, Moscow |
| |
Abstract: | There is given the proof of strict embedding of Leniewski's elementary ontology into monadic second-order calculus of predicates providing a formalization of the class of all formulas valid in all domains (including the empty one). The elementary ontology with the axiom S (S S) is strictly embeddable into monadic second-order calculus of predicates which provides a formalization of the classes of all formulas valid in all non-empty domains. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |