Hybrid linear logic, revisited
From MaRDI portal
Publication:5236552
DOI10.1017/S0960129518000439zbMath1456.03095WikidataQ128007534 ScholiaQ128007534MaRDI QIDQ5236552
Carlos Olarte, Elaine Pimentel, Kaustuv Chaudhuri, Joëlle Despeyroux
Publication date: 9 October 2019
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129518000439
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- A framework for proof systems
- Subexponential concurrent constraint programming
- Symbolic model checking: \(10^{20}\) states and beyond
- Unification under a mixed prefix
- A linear logical framework
- Hybrid and subexponential linear logics
- A formal framework for specifying sequent calculus proof systems
- On subexponentials, focusing and modalities in concurrent systems
- A framework for linear authorization logics
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A General Proof System for Modalities in Concurrent Constraint Programming
- Hybridizing a Logical Framework
- A Proof Theoretic Study of Soft Concurrent Constraint Programming
- Foundations for Reliable and Flexible Interactive Multimedia Scores
- An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
- Classical and Intuitionistic Subexponential Logics Are Equally Expressive
- Logic Programming with Focusing Proofs in Linear Logic
- A concurrent constraint programming interpretation of access permissions
- Specifying Proof Systems in Linear Logic with Subexponentials
- A Logical Framework for Systems Biology
- An extended framework for specifying and reasoning about proof systems
- Linear logic propositions as session types
- Least and Greatest Fixed Points in Linear Logic