From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
From MaRDI portal
Publication:3608427
DOI10.1007/978-3-540-74915-8_31zbMath1179.03064OpenAlexW1852594029MaRDI QIDQ3608427
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_31
Related Items
On concurrent behaviors and focusing in linear logic, A linear logic framework for multimodal logics, A proof theoretic view of spatial and temporal dependencies in biochemical systems, From Focalization of Logic to the Logic of Focalization, On subexponentials, focusing and modalities in concurrent systems, Subexponential concurrent constraint programming, Bracket induction for Lambek calculus with bracket modalities, A semantic framework for proof evidence, Unnamed Item, Unnamed Item, A framework for linear authorization logics, A fresh view of linear logic as a logical framework, Multi-focused cut elimination, Expressing additives using multiplicatives and subexponentials, From cut-free calculi to automated deduction: the case of bounded contraction, Yet another bijection between sequent calculus and natural deduction, Proving concurrent constraint programming correct, revisited, Least and Greatest Fixed Points in Linear Logic, On the Meaning of Focalization, Axiom Directed Focusing, Focusing and polarization in linear, intuitionistic, and classical logics, A focused linear logical framework and its application to metatheory of object logics
