A sequent calculus for a semi-associative law.

Noam Zeilberger

Published in: CoRR (2018)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
legal reasoning
natural deduction
theorem proving
linear time temporal logic
theorem prover
sufficient conditions
first order logic
wide class
associative memory
default theories
proof search
shape analysis
temporal logic