Pages that link to "Item:Q2482845"
From MaRDI portal
The following pages link to A sequent calculus for limit computable mathematics (Q2482845):
Displaying 9 items.
- Games with 1-backtracking (Q636360) (← links)
- Limits for paraconsistent calculi (Q701299) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- (Q3575321) (← links)
- Non-Commutative First-Order Sequent Calculus (Q3644767) (← links)
- Computer Science Logic (Q5394595) (← links)
- A New Translation for Semi-classical Theories — Backtracking without CPS (Q5458438) (← links)