Pages that link to "Item:Q5241408"
From MaRDI portal
The following pages link to Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408):
Displayed 6 items.
- A more unified approach to free logics (Q830379) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)