Login / Signup

Extracting Constructive Content from Classical Logic via Control-like Reductions.

Franco BarbaneraStefano Berardi
Published in: TLCA (1993)
Keyphrases
  • classical logic
  • modal logic
  • logic programming
  • intuitionistic logic
  • control system
  • possibilistic logic
  • databases
  • data mining
  • default logic
  • computer science and artificial intelligence