Pages that link to "Item:Q2882562"
From MaRDI portal
The following pages link to Hybrid functional interpretations of linear and intuitionistic logic (Q2882562):
Displaying 9 items.
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- On bounded functional interpretations (Q424545) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- (Q5028422) (← links)
- A Hybrid Intuitionistic Logic: Semantics and Decidability (Q5488610) (← links)