Login / Signup

Proof-theoretic harmony: towards an intensional account.

Luca Tranchini
Published in: Synth. (2021)
Keyphrases
  • proof theoretic
  • nonmonotonic reasoning
  • linear logic
  • default reasoning
  • proof theory
  • constraint logic programming
  • fixpoint
  • model theoretic
  • machine learning
  • query evaluation