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

Andreas Abel Thierry Coquand

Published in: TLCA (2005)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
pairwise
linear logic
higher order logic
possibilistic logic
epistemic logic
normative systems
np hard
coalition logic
case based reasoning
argumentation frameworks
special case
high level
decision making