The Admissible Rules of BD2 and GSc

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

The Visser rules form a basis of admissibility for the intuitionistic propositional calculus. We show how one can characterize the existence of covers in certain models by means of formulae. Through this characterization, we provide a new proof of the admissibility of a weak form of the Visser rules. Finally, we use this observation, coupled with a description of a generalization of the disjunction property, to provide a basis of admissibility for the intermediate logics BD2 and GSc.
LanguageEnglish
Pages325-353
JournalNOTRE DAME JOURNAL OF FORMAL LOGIC
Volume59
Issue number3
DOIs
Publication statusPublished - 2018

Keywords

  • admissible rules
  • intermediate logics
  • intuitionistic logic
  • universal model

Cite this

@article{f61fd16823ba45edbd35841676a8d223,
title = "The Admissible Rules of BD2 and GSc",
abstract = "The Visser rules form a basis of admissibility for the intuitionistic propositional calculus. We show how one can characterize the existence of covers in certain models by means of formulae. Through this characterization, we provide a new proof of the admissibility of a weak form of the Visser rules. Finally, we use this observation, coupled with a description of a generalization of the disjunction property, to provide a basis of admissibility for the intermediate logics BD2 and GSc.",
keywords = "admissible rules, intermediate logics, intuitionistic logic, universal model",
author = "Goudsmit, {Jeroen P.}",
year = "2018",
doi = "10.1215/00294527-3838972",
language = "English",
volume = "59",
pages = "325--353",
journal = "NOTRE DAME JOURNAL OF FORMAL LOGIC",
issn = "0029-4527",
publisher = "University of Notre Dame",
number = "3",

}

The Admissible Rules of BD2 and GSc. / Goudsmit, Jeroen P.

In: NOTRE DAME JOURNAL OF FORMAL LOGIC, Vol. 59, No. 3, 2018, p. 325-353.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - The Admissible Rules of BD2 and GSc

AU - Goudsmit, Jeroen P.

PY - 2018

Y1 - 2018

N2 - The Visser rules form a basis of admissibility for the intuitionistic propositional calculus. We show how one can characterize the existence of covers in certain models by means of formulae. Through this characterization, we provide a new proof of the admissibility of a weak form of the Visser rules. Finally, we use this observation, coupled with a description of a generalization of the disjunction property, to provide a basis of admissibility for the intermediate logics BD2 and GSc.

AB - The Visser rules form a basis of admissibility for the intuitionistic propositional calculus. We show how one can characterize the existence of covers in certain models by means of formulae. Through this characterization, we provide a new proof of the admissibility of a weak form of the Visser rules. Finally, we use this observation, coupled with a description of a generalization of the disjunction property, to provide a basis of admissibility for the intermediate logics BD2 and GSc.

KW - admissible rules

KW - intermediate logics

KW - intuitionistic logic

KW - universal model

U2 - 10.1215/00294527-3838972

DO - 10.1215/00294527-3838972

M3 - Article

VL - 59

SP - 325

EP - 353

JO - NOTRE DAME JOURNAL OF FORMAL LOGIC

T2 - NOTRE DAME JOURNAL OF FORMAL LOGIC

JF - NOTRE DAME JOURNAL OF FORMAL LOGIC

SN - 0029-4527

IS - 3

ER -