Login / Signup

On the Geometry of Interaction for Classical Logic.

Carsten FührmannDavid J. Pym
Published in: LICS (2004)
Keyphrases
  • classical logic
  • logic programming
  • modal logic
  • possibilistic logic
  • intuitionistic logic
  • default logic
  • revision operators
  • autoepistemic logic
  • possibility theory
  • valued logic
  • commonsense reasoning