The Admissible Rules of BD2 and GSc

Jeroen P. Goudsmit

doi:10.1215/00294527-3838972

The Admissible Rules of BD2 and GSc

Jeroen P. Goudsmit

VU SBE Executive Education

Research output: Contribution to Journal › Article › Academic › peer-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.

Original language	English
Pages (from-to)	325-353
Number of pages	29
Journal	Notre Dame journal of formal logic
Volume	59
Issue number	3
Early online date	2 Aug 2017
DOIs	https://doi.org/10.1215/00294527-3838972
Publication status	Published - 2018

Funding

Support by the Netherlands Organization for Scientific Research under grant 639.032.918 is gratefully acknowledged. The author would like to thank the anonymous referee for their helpful comments.

Funders	Funder number
Netherlands Organization for Scientific Research	639.032.918

Keywords

admissible rules
intermediate logics
intuitionistic logic
universal model

Access to Document

10.1215/00294527-3838972

Persistent URL (handle)

Persistent link

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 = "Duke University Press",

number = "3",

}

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

UR - https://www.scopus.com/pages/publications/85082370415

UR - https://www.scopus.com/pages/publications/85082370415#tab=citedBy

U2 - 10.1215/00294527-3838972

DO - 10.1215/00294527-3838972

M3 - Article

SN - 0029-4527

VL - 59

SP - 325

EP - 353

JO - Notre Dame journal of formal logic

JF - Notre Dame journal of formal logic

IS - 3

ER -

The Admissible Rules of BD2 and GSc

Abstract

Funding

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this