The following pages link to (Q4412848):
Displaying 8 items.
- A framework for proof systems (Q707742) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Reasoning about resources and information: a linear logic approach (Q2843814) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- Sequent systems for compact bilinear logic (Q4434501) (← links)
- Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015) (← links)