Login / Signup

Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.

Ryo Takemura
Published in: Arch. Math. Log. (2021)
Keyphrases
  • proof theory
  • default reasoning
  • logical equivalence
  • proof theoretic
  • automated reasoning
  • reasoning problems
  • np complete
  • linear logic
  • multi agent
  • belief revision
  • nonmonotonic reasoning
  • graphical representation