Pages that link to "Item:Q2713352"
From MaRDI portal
The following pages link to HOL-λσ: an intentional first-order expression of higher-order logic (Q2713352):
Displayed 13 items.
- A simple proof that super-consistency implies cut elimination (Q691121) (← links)
- Resolution is cut-free (Q972424) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Automating Theories in Intuitionistic Logic (Q3655199) (← links)
- Narrowing Based Inductive Proof Search (Q4916079) (← links)
- Experimenting with Deduction Modulo (Q5200022) (← links)