Login / Signup

Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti.

Thiago FelicissimoThéo Winterhalter
Published in: FSCD (2024)
Keyphrases
  • logical framework
  • inference rules
  • reasoning tasks
  • belief revision
  • epistemic logic
  • linear logic
  • higher order logic
  • possibilistic logic
  • high level
  • video sequences
  • natural language
  • special case
  • spatial information