A sequent calculus for a semi-associative law.

Noam Zeilberger

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

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
legal reasoning
linear time temporal logic
associative memory
logical framework
desirable properties
classical logic
artificial intelligence
wide class
theorem proving
first order logic
description logics
knowledge base