The following pages link to The middle ground-ancestral logic (Q2053352):
Displaying 6 items.
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Analysis in a formal predicative set theory (Q2148788) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Why Predicative Sets? (Q5049037) (← links)
