A Sequent Calculus for a Semi-Associative Law.

Noam Zeilberger

Published in: FSCD (2017)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
legal reasoning
natural deduction
modal logic
linear time temporal logic
associative memory
logical framework
artificial intelligence
classical logic
wide class
theorem prover
fixed point
proof search
first order logic
logic programming
knowledge base