Linear logic in normed cones: probabilistic coherence spaces and beyond.

Published in: Math. Struct. Comput. Sci. (2021)

Keyphrases

linear logic
desirable properties
logical framework
fixed point
probabilistic model
proof theoretic
intuitionistic logic
logic programming
sequent calculus
bayesian networks
cut elimination
general purpose
decision theory
proof search