Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic

DOI10.1007/BF00372549zbMath0649.03006WikidataQ114694669 ScholiaQ114694669MaRDI QIDQ1105584

Mitio Takano

Publication date: 1987

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

zbMATH Keywords

monadic second-order logicelementary ontology

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (1)

On Blass translation for Leśniewski's propositional ontology and modal logics

Cites Work

• Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates
• On Lesniewski's elementary ontology

This page was built for publication: Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic