Proof Nets for First-Order Additive Linear Logic.

Willem Heijltjes Dominic J. D. Hughes Lutz Straßburger

Published in: FSCD (2019)

Keyphrases

linear logic
proof search
cut elimination
sequent calculus
fixed point
proof theoretic
higher order
desirable properties
intuitionistic logic
logical framework
first order logic
logic programming
quantifier elimination
predicate calculus
artificial intelligence
data model
natural language