Login / Signup

On categorical models of classical logic and the Geometry of Interaction.

Carsten FührmannDavid J. Pym
Published in: Math. Struct. Comput. Sci. (2007)
Keyphrases
  • classical logic
  • probabilistic model
  • modal logic
  • data mining
  • expert systems
  • computational intelligence
  • general logic programs