Pages that link to "Item:Q1105584"
From MaRDI portal
The following pages link to Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584):
Displaying 3 items.
- Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates (Q1078167) (← links)
- Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain (Q1095133) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)