On Isomorphism of Dependent Products in a Typed Logical Framework.

Sergei Soloviev

Published in: TYPES (2014)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
higher order
possibilistic logic
linear logic
normative systems
higher order logic
epistemic logic
training data
expert systems
theorem prover
coalition logic