Login / Signup

Proof theory for lattice-ordered groups.

Nikolaos GalatosGeorge Metcalfe
Published in: Ann. Pure Appl. Log. (2016)
Keyphrases
  • proof theory
  • default reasoning
  • automated reasoning
  • proof theoretic
  • machine learning
  • reasoning problems