Proof Nets for Bi-Intuitionistic Linear Logic.

Gianluigi Bellin Willem Heijltjes

Published in: FSCD (2018)

Keyphrases

linear logic
proof search
business intelligence
sequent calculus
proof theoretic
cut elimination
logic programming
fixed point
desirable properties
logical framework
intuitionistic logic
general purpose
inference rules
high level
automated reasoning
natural deduction
video sequences