Pages that link to "Item:Q1095133"
From MaRDI portal
The following pages link to Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain (Q1095133):
Displaying 6 items.
- Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates (Q1078167) (← links)
- Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology (Q3982861) (← links)
- Image of Soviet and Russian logic in the West. Latter Half of the XXth Century (Q5059702) (← links)
- A monadic second-order version of Tarski's geometry of solids (Q6559162) (← links)