Open Access
Translator Disclaimer
2018 The Admissible Rules of BD2 and GSc
Jeroen P. Goudsmit
Notre Dame J. Formal Logic 59(3): 325-353 (2018). DOI: 10.1215/00294527-3838972


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.


Download Citation

Jeroen P. Goudsmit. "The Admissible Rules of BD2 and GSc." Notre Dame J. Formal Logic 59 (3) 325 - 353, 2018.


Received: 3 September 2013; Accepted: 6 July 2014; Published: 2018
First available in Project Euclid: 2 August 2017

zbMATH: 06939323
MathSciNet: MR3832084
Digital Object Identifier: 10.1215/00294527-3838972

Primary: 03B55
Secondary: 03B20

Keywords: admissible rules , intermediate logics , Intuitionistic logic , universal model

Rights: Copyright © 2018 University of Notre Dame


Vol.59 • No. 3 • 2018
Back to Top