Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.

Andreas Abel Thierry Coquand

Published in: Fundam. Informaticae (2007)

Keyphrases

logical framework
inference rules
reasoning tasks
belief revision
epistemic logic
pairwise
possibilistic logic
linear logic
machine learning
temporal reasoning
argumentation frameworks
higher order logic
artificial intelligence
expert systems
state space
logic programming