Pages that link to "Item:Q1078167"
From MaRDI portal
The following pages link to Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates (Q1078167):
Displaying 6 items.
- A propositional fragment of Leśniewski's ontology and its formulation by the tableau method (Q1078555) (← links)
- Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain (Q1095133) (← 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)
- (Q3377757) (← links)
- Image of Soviet and Russian logic in the West. Latter Half of the XXth Century (Q5059702) (← links)