Login / Signup

The information in intuitionistic logic.

Johan van Benthem
Published in: Synth. (2009)
Keyphrases
  • intuitionistic logic
  • database
  • relational databases
  • constraint logic programming