Pages that link to "Item:Q5025701"
From MaRDI portal
The following pages link to A note on Humberstone's constant Ω (Q5025701):
Displaying 4 items.
- Pickands' constant \(H_{\alpha}\) does not equal \(1/\Gamma(1/\alpha)\), for small \(\alpha\) (Q502892) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)
- Another combination of classical and intuitionistic conditionals (Q6659907) (← links)