Login / Signup

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory.

Ali AssafGuillaume BurelRaphaël CauderlierDavid DelahayeGilles DowekCatherine DuboisFrédéric GilbertPierre HalmagrandOlivier HermantRonan Saillard
Published in: CoRR (2023)
Keyphrases
  • logical framework
  • inference rules
  • reasoning tasks
  • belief revision
  • possibilistic logic
  • higher order logic
  • linear logic
  • normative systems
  • epistemic logic
  • computer algebra
  • object oriented
  • theoretical framework