Pages that link to "Item:Q2938136"
From MaRDI portal
The following pages link to Ancestral Logic: A Proof Theoretical Study (Q2938136):
Displayed 6 items.
- The middle ground-ancestral logic (Q2053352) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language (Q2947456) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741) (← links)