scientific article; zbMATH DE number 517072

zbMATH Open0793.03061MaRDI QIDQ4282602FDOQ4282602

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx

Publication date: 17 March 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

linear logicexponential dependenciesexponential graph of a proofreduction-preserving embeddings

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

Cited In (37)

• A fresh view of linear logic as a logical framework
• Title not available (Why is that?)
• Proving concurrent constraint programming correct, revisited
• A linear logic framework for multimodal logics
• Subexponentials in non-commutative linear logic
• Connecting Sequent Calculi with Lorenzen-Style Dialogue Games
• Least and Greatest Fixed Points in Linear Logic
• On subexponentials, focusing and modalities in concurrent systems
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Specifying Proof Systems in Linear Logic with Subexponentials
• Polarized and focalized linear and classical proofs
• Dynamic spaces in concurrent constraint programming
• Hybrid and subexponential linear logics
• Strong normalization for all-style LKtq
• Hybrid linear logic, revisited
• Phase semantics for light linear logic
• Title not available (Why is that?)
• On concurrent behaviors and focusing in linear logic
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• Universal proof theory: semi-analytic rules and Craig interpolation
• Verification of spatial and temporal modalities in biochemical systems
• Title not available (Why is that?)
• Foundations for Reliable and Flexible Interactive Multimedia Scores
• Title not available (Why is that?)
• Subexponential concurrent constraint programming
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
• Algorithmic complexity for theories of commutative Kleene algebras
• A framework for linear authorization logics
• Super exponentials in linear logic
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
• On the linear decoration of intuitionistic derivations
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• A subexponential view of domains in session types
• Non-associative, non-commutative multi-modal linear logic
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

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)