Pages that link to "Item:Q1955687"
From MaRDI portal
The following pages link to Leśniewski's systems of logic and foundations of mathematics (Q1955687):
Displaying 27 items.
- Reasoning on a tight budget: Lesniewski's nominalistic metalogic (Q700694) (← links)
- Leśniewski's \textit{characteristica universalis} (Q987477) (← links)
- Axioms for mereology (Q1077405) (← links)
- Leśniewski on metalogic and definitions (Q1989980) (← links)
- Leśniewski's ontology -- proof-theoretic characterization (Q2104542) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- The universe in Leśniewski's mereology: some comments on Sobociński's reflections (Q2275107) (← links)
- Potential infinity, abstraction principles and arithmetic (Leśniewski style) (Q2422536) (← links)
- Bochenski on property identity and the refutation of universals (Q2499300) (← links)
- Leśniewski's conception of logic (Q2702275) (← links)
- On Tarski's foundations of the geometry of solids (Q2893282) (← links)
- Mereology then and now (Q2987747) (← links)
- (Q3222169) (← links)
- Set Theory and Lesniewski's Ontology (Q3727959) (← links)
- (Q3999038) (← links)
- (Q4211198) (← links)
- Definitions: the primitive concept of logics or The Leśniewski–Tarski legacy (Q4531955) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- Bolesław Sobociński on Universals (Q4611695) (← links)
- (Q4811783) (← links)
- The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic (Q4983365) (← links)
- Mereology with super-supplemention axioms. A reconstruction of the unpublished manuscript of Jan F. Drewnowski (Q5006823) (← links)
- On definitions in mathematics (Q5056455) (← links)
- (Q5200680) (← links)
- Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic (Q5251188) (← links)
- (Q5609336) (← links)
- On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories (Q5742615) (← links)
