The following pages link to (Q3377757):
Displaying 4 items.
- 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)
- An axiomatisation of a pure calculus of names (Q1928489) (← links)
- On some essential subsystems of Leśniewski's ontology and the equivalence between the singular Barbara and the law of Leibniz in ontology (Q2702277) (← links)