On unification and admissible rules in Gabbay-de Jongh logics

Jeroen P. Goudsmit, Rosalie Iemhoff

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)652-672
JournalAnnals of Pure and Applied Logic
Volume165
Issue number2
DOIs
Publication statusPublished - Feb 2014

Keywords

  • Intuitionistic logic
  • Intermediate logic
  • Admissible rules
  • Disjunction property
  • Extension property

Cite this