Pages that link to "Item:Q5704011"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704011):
Displayed 9 items.
- Resolution is cut-free (Q972424) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
- On the Convergence of Reduction-based and Model-based Methods in Proof Theory (Q2866742) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Automating Theories in Intuitionistic Logic (Q3655199) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)