Pages that link to "Item:Q3949044"
From MaRDI portal
The following pages link to Implicational complexity in intuitionistic arithmetic (Q3949044):
Displaying 4 items.
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- Some forms of excluded middle for linear orders (Q5108849) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)
