Extensions of intuitionistic logic without the Deduction Theorem: some simple examples

Ian Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)45 - 82
Number of pages38
JournalReports on Mathematical Logic
Volume40
Publication statusPublished - 2006

Cite this