The following pages link to Focussing and proof construction (Q1840461):
Displayed 9 items.
- A categorical semantics for polarized MALL (Q866570) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- On the unity of duality (Q2482843) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)