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

DOI10.1007/BF00396902zbMath0632.03024OpenAlexW2007846570WikidataQ114694624 ScholiaQ114694624MaRDI QIDQ1095133

V. A. Smirnov

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00396902

zbMATH Keywords

Leśniewski's Elementary Ontologyquantifiers binding individual variablesuniversal monadic second-order predicate logic

Mathematics Subject Classification ID

Related Items (2)

Image of Soviet and Russian logic in the West. Latter Half of the XXth Century ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics

This page was built for publication: Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain