Pages that link to "Item:Q5224574"
From MaRDI portal
The following pages link to Relational Semantics for the Turing Schmerl Calculus (Q5224574):
Displaying 6 items.
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Semantics of a relational \(\lambda\)-calculus (Q2037950) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)