Pages that link to "Item:Q1694469"
From MaRDI portal
The following pages link to Completeness for ancestral logic via a computationally-meaningful semantics (Q1694469):
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)
- Ancestral Logic: A Proof Theoretical Study (Q2938136) (← links)
- Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741) (← links)
- Non-well-founded Proof Theory of Transitive Closure Logic (Q5121282) (← links)
- Intuitionistic ancestral logic (Q5225851) (← links)