Skip to main navigation Skip to search Skip to main content

Normality, Non-contamination and Logical Depth in Classical Natural Deduction

  • Marcello D’Agostino
  • , Dov Gabbay
  • , Sanjay Modgil
  • University of Milan
  • King's College London
  • University of Luxembourg

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

Fingerprint

Dive into the research topics of 'Normality, Non-contamination and Logical Depth in Classical Natural Deduction'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Mathematics