Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix.

Lê Thành Dung Nguyên

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

linear logic
proof search
sequent calculus
proof theoretic
fixed point
cut elimination
logic programming
desirable properties
logical framework
intuitionistic logic
artificial intelligence
software engineering
logic programs
natural deduction
expert systems
inference rules