On the Admissible Rules of Intuitionistic Propositional Logic

Iemhoff, Rosalie

J. Symbolic Logic, Tome 66 (2001) no. 1, p. 281-294 / Harvested from Project Euclid

Résumé

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.

Publié le : 2001-03-14
Classification:

@article{1183746371,
     author = {Iemhoff, Rosalie},
     title = {On the Admissible Rules of Intuitionistic Propositional Logic},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 281-294},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746371}
}

Iemhoff, Rosalie. On the Admissible Rules of Intuitionistic Propositional Logic. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  281-294. http://gdmltest.u-ga.fr/item/1183746371/