Pages that link to "Item:Q3623018"
From MaRDI portal
The following pages link to Cut-Simulation and Impredicativity (Q3623018):
Displayed 7 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Effective Normalization Techniques for HOL (Q2817937) (← links)
- Proofs and Reconstructions (Q2964467) (← links)