scientific article; zbMATH DE number 517072
From MaRDI portal
Publication:4282602
Recommendations
- A By-Level Analysis of Multiplicative Exponential Linear Logic
- An analysis of (linear) exponentials based on extended sequents
- scientific article; zbMATH DE number 1735929
- Proofs as computations in linear logic
- Specifying proof systems in linear logic with subexponentials
- scientific article; zbMATH DE number 1292302
- An Explicit Formula for the Free Exponential Modality of Linear Logic
- An explicit formula for the free exponential modality of linear logic
- The undecidability of second order linear logic without exponentials
Cited in
(36)- scientific article; zbMATH DE number 786493 (Why is no real title available?)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
- Phase semantics for light linear logic
- A linear logic framework for multimodal logics
- scientific article; zbMATH DE number 1735929 (Why is no real title available?)
- A fresh view of linear logic as a logical framework
- Super exponentials in linear logic
- Dynamic spaces in concurrent constraint programming
- Polarized and focalized linear and classical proofs
- Subexponentials in non-commutative linear logic
- Algorithmic complexity for theories of commutative Kleene algebras
- Universal proof theory: semi-analytic rules and Craig interpolation
- On subexponentials, focusing and modalities in concurrent systems
- Foundations for reliable and flexible interactive multimedia scores
- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- Non-associative, non-commutative multi-modal linear logic
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic
- Subexponential concurrent constraint programming
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\)
- On the linear decoration of intuitionistic derivations
- On concurrent behaviors and focusing in linear logic
- An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
- Hybrid and subexponential linear logics
- Specifying proof systems in linear logic with subexponentials
- A framework for linear authorization logics
- Proving concurrent constraint programming correct, revisited
- scientific article; zbMATH DE number 7441265 (Why is no real title available?)
- Hybrid linear logic, revisited
- Verification of spatial and temporal modalities in biochemical systems
- A subexponential view of domains in session types
- Connecting sequent calculi with Lorenzen-style dialogue games
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282602)
