Login / Signup

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems.

Gianluigi BellinAlessandro Menti
Published in: Fundam. Informaticae (2014)
Keyphrases
  • intuitionistic logic
  • natural deduction
  • classical logic
  • expert systems
  • logic programming
  • description logics
  • knowledge based systems
  • database design
  • formal methods
  • linear logic
  • cut elimination