Categorical semantics of linear logic

zbMATH Open1206.03052MaRDI QIDQ3075441FDOQ3075441

Authors: Paul-André Melliès 

Publication date: 15 February 2011

Recommendations

• scientific article; zbMATH DE number 5000963
• Proof theory in the abstract
• Cut elimination in categories
• scientific article; zbMATH DE number 1489627
• Coherence of proof-net categories

zbMATH Keywords

survey paperproof theorycategorical semanticsgame semanticslinear logicmonoidal categoriessequent calculuscut-elimination2-categoriessubformula propertycategories with structurecoherence diagrams

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Cited In (53)

• Disentangling parallelism and interference in game semantics
• A functorial excursion between algebraic geometry and linear logic
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Proof diagrams for multiplicative linear logic
• N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
• On Banach spaces of sequences and free linear logic exponential modality
• Title not available (Why is that?)
• A micrological study of negation
• Monoidal-closed categories of tree automata
• Encodings of Turing machines in linear logic
• The Scott model of linear logic is the extensional collapse of its relational model
• LNL polycategories and doctrines of linear logic
• Title not available (Why is that?)
• Coherent differentiation
• The shuffle quasimonad and modules with differentiation and integration
• Graded Hoare logic and its categorical semantics
• A linear/producer/consumer model of classical linear logic
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Probabilistic call by push value
• Jets and differential linear logic
• Proof diagrams for multiplicative linear logic: syntax and semantics
• Finitary semantics of linear logic and higher-order model-checking
• Categorial fibring of logics with terms and binding operators
• Equational logic and categorical semantics for multi-languages
• Convenient antiderivatives for differential linear categories
• A coherent differential PCF
• The free exponential modality of probabilistic coherence spaces
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Hypernormalisation in an abstract setting
• Quantum coherent spaces and linear logic
• Multigames and strategies, coalgebraically
• The bang calculus and the two Girard's translations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Observed Communication Semantics for Classical Processes
• Title not available (Why is that?)
• Linear Logic Properly Displayed
• On Sweedler's cofree cocommutative coalgebra.
• The genus of regular languages and directed graph emulators
• An explicit formula for the free exponential modality of linear logic
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Title not available (Why is that?)
• A categorical model for a quantum circuit description language (extended abstract)
• Title not available (Why is that?)
• Cofree coalgebras and differential linear logic
• Models of Linear Logic based on the Schwartz $\varepsilon$-product
• Picturing classical and quantum Bayesian inference
• A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
• Weighted models for higher-order computation
• Linear exponential comonads without symmetry
• Category theory in Isabelle/HOL as a basis for meta-logical investigation
• A categorical model of predicate linear logic

This page was built for publication: Categorical semantics of linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075441)