On the Admissible Rules of Intuitionistic Propositional Logic
Rosalie Iemhoff
Source: J. Symbolic Logic Volume 66, Issue 1
(2001), 281-294.
Abstract
We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.
Full-text: Remote
access
If you are a member of the ASL,
log in to Euclid
for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183746371
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet): MR1825185
Zentralblatt MATH identifier: 0986.03013
