Pages that link to "Item:Q1078555"
From MaRDI portal
The following pages link to A propositional fragment of Leśniewski's ontology and its formulation by the tableau method (Q1078555):
Displaying 9 items.
- Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates (Q1078167) (← links)
- A semantical investigation into Leśniewski's axiom of his ontology (Q1078168) (← links)
- Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain (Q1095133) (← links)
- Leśniewski's ontology -- proof-theoretic characterization (Q2104542) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- Leśniewski and Russell's Paradox: Some Problems (Q3518564) (← links)
- Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology (Q3982861) (← links)
- On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories (Q5742615) (← links)