Decidable Exponentials in Nonassociative Noncommutative Linear Logic.

Published in: CoRR (2023)

Keyphrases

linear logic
proof theoretic
logic programming
fixed point
cut elimination
logical framework
sequent calculus
first order logic
desirable properties
inference rules
proof search
datalog programs
intuitionistic logic
artificial intelligence