Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain

✍ Scribed by Vladimir A. Smirnov

• Publisher: Springer Netherlands
• Year: 1987
• Tongue: English
• Weight: 740 KB
• Volume: 46
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf00396902