Skip to main navigation Skip to search Skip to main content

Mechanising a proof of Craig's Interpolation Theorem for intuitionistic logic in nominal isabelle

  • Peter Chapman
  • , James McKinna
  • , Christian Urban

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Fingerprint

Dive into the research topics of 'Mechanising a proof of Craig's Interpolation Theorem for intuitionistic logic in nominal isabelle'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Mathematics