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
DOIs	https://doi.org/10.1215/00294527-3838972
Publication status	Published - 2018

Keywords

admissible rules
intermediate logics
intuitionistic logic
universal model

Access to Document

10.1215/00294527-3838972

Handle.net

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 = "University of Notre Dame",

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 - http://www.scopus.com/inward/record.url?scp=85082370415&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85082370415&partnerID=8YFLogxK

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

JF - NOTRE DAME JOURNAL OF FORMAL LOGIC

SN - 0029-4527

IS - 3

ER -

The Admissible Rules of BD2 and GSc

Abstract

Keywords

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this