Deep inference and probabilistic coherence spaces

DOI10.1007/S10485-010-9241-0MaRDI QIDQ452333zbMATHOpenAlexFDO

Authors Prakash Panangaden, Sergey Slavnov, Richard 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

categorical logiclinear logicdeep inference systemsprobabilistic coherence spaces

Mathematics Subject Classification ID

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

Recommendations

• A System of Interaction and Structure II: The Need for Deep Inference
• A system of interaction and structure
• A deep inference system with a self-dual binder which is complete for linear lambda calculus
• Linear lambda calculus and deep inference
• Interaction and depth against nondeterminism in proof search

Cites work

• scientific article; zbMATH DE number 2185722 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• A System of Interaction and Structure II: The Need for Deep Inference
• Discrete quantum causal dynamics
• Double categories: a modular model of multiplicative linear logic
• Exploring the gap between linear and classical logic
• Finiteness spaces
• Glueing and orthogonality for models of linear logic
• Linear logic
• Linearly distributive functors
• Natural deduction and coherence for weakly distributive categories
• Nuclear and trace ideals in tensored \(^*\)-categories
• On Köthe sequence spaces and linear logic
• On categorical models of classical logic and the Geometry of Interaction
• On the axiomatisation of Boolean categories with and without medial
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Topological \(\ast\)-autonomous categories
• Weakly distributive categories

Cited in

(8)

• A System of Interaction and Structure II: The Need for Deep Inference
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• A logical basis for quantum evolution and entanglement
• scientific article; zbMATH DE number 6928881 (Why is no real title available?)
• Parameter inference with deep jointly informed neural networks
• Towards end‐to‐end likelihood‐free inference with convolutional neural networks
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• A deep inference system with a self-dual binder which is complete for linear lambda calculus

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

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