Pages that link to "Item:Q2104542"
From MaRDI portal
The following pages link to Leśniewski's ontology -- proof-theoretic characterization (Q2104542):
Displaying 5 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)
- (Q3377757) (← links)