Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates
From MaRDI portal
Publication:1078167
DOI10.1007/BF01063840zbMath0596.03018WikidataQ114694086 ScholiaQ114694086MaRDI QIDQ1078167
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
Related Items (3)
Image of Soviet and Russian logic in the West. Latter Half of the XXth Century ⋮ Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics
Cites Work
This page was built for publication: Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates