Pages that link to "Item:Q2368911"

The following pages link to Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911):

Displaying 7 items.

• On the contrapositive of countable choice (Q627434) (← links)
• Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290) (← links)
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
• Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
• Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 (Q3637184) (← links)
• Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
• A New Translation for Semi-classical Theories — Backtracking without CPS (Q5458438) (← links)