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 5 items.
- 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)
