Pages that link to "Item:Q3608427"
From MaRDI portal
The following pages link to From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic (Q3608427):
Displaying 23 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)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← 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 proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- Expressing additives using multiplicatives and subexponentials (Q4637626) (← links)
- (Q5015208) (← links)
- (Q5015210) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- A proof of the focusing theorem via MALL proof nets (Q6102990) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)
