The following pages link to A framework for proof systems (Q707742):
Displaying 19 items.
- Yet another bijection between sequent calculus and natural deduction (Q530853) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- Multi-focused proofs with different polarity assignments (Q1744415) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- (Q5018490) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
