DeepAI AI Chat
Log In Sign Up

A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics

The usual resource interpretation of linear logic says that variables have to be used exactly once. However, there are models of linear logic where this interpretation is too restrictive. In this work we show how in probabilistic models of linear logic the correct resource interpretation should be sampling, i.e. the linear arrow should be read as "the output may only sample once from its input". We accommodate this new interpretation by defining a multilanguage syntax and its categorical semantics that bridges the Markov kernel and linear logic interpretations of probabilistic programs.


page 1

page 2

page 3

page 4


Coalgebraic Semantics for Probabilistic Logic Programming

Probabilistic logic programming is increasingly important in artificial ...

Simulating Linear Logic in 1-Only Linear Logic

Linear Logic was introduced by Girard as a resource-sensitive refinement...

Solving probability puzzles with logic toolkit

The proposed approach is to formalise the probabilistic puzzle in equati...

A Categorical Framework for Program Semantics and Semantic Abstraction

Categorical semantics of type theories are often characterized as struct...

Flexible Interpretations: A Computational Model for Dynamic Uncertainty Assessment

The investigations reported in this paper center on the process of dynam...

Montague Semantics for Lambek Pregroups

Lambek pregroups are algebraic structures modelling natural language syn...

Categorical models of Linear Logic with fixed points of formulas

We develop a denotational semantics of muLL, a version of propositional ...