An Equational Logical Framework for Type Theories.

Published in: CoRR (2021)

Keyphrases

logical framework
inference rules
reasoning tasks
equational theories
belief revision
linear logic
theorem proving
dynamic programming
theorem prover
possibilistic logic
higher order logic
image sequences
lower bound
probabilistic inference