Login / Signup

A Type Checker for a Logical Framework with Union and Intersection Types (System Description).

Claude StolzeLuigi Liquori
Published in: FSCD (2020)
Keyphrases
  • logical framework
  • inference rules
  • belief revision
  • multiple types
  • reasoning tasks
  • artificial intelligence
  • high level
  • linear logic
  • higher order logic
  • possibilistic logic
  • epistemic logic
  • training data