Admissibility and refutation: some characterisations of intermediate logics

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)779-808
JournalArchive for Mathematical Logic
Volume53
Issue number7-8
DOIs
Publication statusPublished - Nov 2014

Keywords

  • Intermediate logic
  • Admissible rules
  • Refutation
  • Gabbay-de Jongh logics
  • Medvedev's logic

Cite this

@article{47880bcabf61424898d1ed61bdeb0675,
title = "Admissibility and refutation: some characterisations of intermediate logics",
keywords = "Intermediate logic, Admissible rules, Refutation, Gabbay-de Jongh logics, Medvedev's logic",
author = "Goudsmit, {Jeroen P.}",
year = "2014",
month = "11",
doi = "10.1007/s00153-014-0388-5",
language = "English",
volume = "53",
pages = "779--808",
journal = "Archive for Mathematical Logic",
issn = "0933-5846",
publisher = "Springer New York",
number = "7-8",

}

Admissibility and refutation: some characterisations of intermediate logics. / Goudsmit, Jeroen P.

In: Archive for Mathematical Logic, Vol. 53, No. 7-8, 11.2014, p. 779-808.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Admissibility and refutation: some characterisations of intermediate logics

AU - Goudsmit, Jeroen P.

PY - 2014/11

Y1 - 2014/11

KW - Intermediate logic

KW - Admissible rules

KW - Refutation

KW - Gabbay-de Jongh logics

KW - Medvedev's logic

U2 - 10.1007/s00153-014-0388-5

DO - 10.1007/s00153-014-0388-5

M3 - Article

VL - 53

SP - 779

EP - 808

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

SN - 0933-5846

IS - 7-8

ER -