Deep inference and probabilistic coherence spaces

DOI10.1007/s10485-010-9241-0zbMath1260.03117OpenAlexW2014469781MaRDI QIDQ452333

Sergey Slavnov, Prakash Panangaden, Richard F. Blute

Publication date: 20 September 2012

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-010-9241-0

zbMATH Keywords

linear logiccategorical logicdeep inference systemsprobabilistic coherence spaces

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Unnamed Item ⋮ A Logical Basis for Quantum Evolution and Entanglement

Cites Work

• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Linear logic
• Weakly distributive categories
• Natural deduction and coherence for weakly distributive categories
• Glueing and orthogonality for models of linear logic
• Discrete quantum causal dynamics
• Nuclear and trace ideals in tensored \(^*\)-categories
• Linearly distributive functors
• Double categories: a modular model of multiplicative linear logic
• On Köthe sequence spaces and linear logic
• A System of Interaction and Structure II: The Need for Deep Inference
• On categorical models of classical logic and the Geometry of Interaction
• Finiteness spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deep inference and probabilistic coherence spaces