Parallelism in Soft Linear Logic.

Paulin Jacobé de Naurois

Published in: CSL (2022)

Keyphrases

linear logic
fixed point
logic programming
desirable properties
sequent calculus
logical framework
proof theoretic
cut elimination
intuitionistic logic
parallel processing
shared memory
inference rules
proof search
general purpose
natural deduction
machine learning
belief revision
pairwise
bayesian networks