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

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.

Citation

Download Citation

Jeroen P. Goudsmit. "The Admissible Rules of BD2 and GSc." Notre Dame J. Formal Logic 59 (3) 325 - 353, 2018. https://doi.org/10.1215/00294527-3838972

Information

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

Subjects:
Primary: 03B55
Secondary: 03B20

Rights: Copyright © 2018 University of Notre Dame

JOURNAL ARTICLE
29 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

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