Adequate and computational encodings in the logical framework Dedukti.

Thiago Felicissimo

Published in: CoRR (2022)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
linear logic
possibilistic logic
orders of magnitude
lower bound
special case
epistemic logic
machine learning
artificial intelligence
expert systems