The following pages link to (Q4365102):
Displaying 8 items.
- On proof normalization in linear logic (Q1342248) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Proof normalization modulo (Q4650285) (← links)
- Proof normalization for resolution and paramodulation (Q5055708) (← links)