Multiplicative linear logic from a resolution-based tile system.

Boris Eng Thomas Seiller

Published in: CoRR (2022)

Keyphrases

linear logic
fixed point
cut elimination
proof search
proof theoretic
high resolution
sequent calculus
logical framework
desirable properties
intuitionistic logic
logic programming
inference rules
graphical models
object oriented
state space
data model
computational complexity