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

@article{99a7608b2f4a4f308d9b1284ce0ca660,
title = "On unification and admissible rules in Gabbay-de Jongh logics",
keywords = "Intuitionistic logic, Intermediate logic, Admissible rules, Disjunction property, Extension property",
author = "Goudsmit, {Jeroen P.} and Rosalie Iemhoff",
year = "2014",
month = "2",
doi = "10.1016/j.apal.2013.09.003",
language = "English",
volume = "165",
pages = "652--672",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "2",

}

On unification and admissible rules in Gabbay-de Jongh logics. / Goudsmit, Jeroen P.; Iemhoff, Rosalie.

In: Annals of Pure and Applied Logic, Vol. 165, No. 2, 02.2014, p. 652-672.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - On unification and admissible rules in Gabbay-de Jongh logics

AU - Goudsmit, Jeroen P.

AU - Iemhoff, Rosalie

PY - 2014/2

Y1 - 2014/2

KW - Intuitionistic logic

KW - Intermediate logic

KW - Admissible rules

KW - Disjunction property

KW - Extension property

U2 - 10.1016/j.apal.2013.09.003

DO - 10.1016/j.apal.2013.09.003

M3 - Article

VL - 165

SP - 652

EP - 672

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 2

ER -