Pages that link to "Item:Q4657754"
From MaRDI portal
The following pages link to Classical logic as limit completion (Q4657754):
Displaying 4 items.
- A constructive analysis of learning in Peano arithmetic (Q450942) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 (Q3637184) (← links)
- Realizability interpretation of PA by iterated limiting PCA (Q5740403) (← links)