Using Z3 to Verify Inferences in Fragments of Linear Logic.

Alen Docef Radu Negulescu Mihai Prunescu

Published in: FROM (2023)

Keyphrases

linear logic
fixed point
desirable properties
proof theoretic
logical framework
proof search
logic programming
intuitionistic logic
sequent calculus
cut elimination
knowledge base
pairwise
general purpose
inference rules