On the admissible rules of intuitionistic propositional logic

2001151 citationsJournal Articlebronze Open Access

Authors

Rosalie Iemhoff · University of Amsterdam

Abstract

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.

Topics & Keywords

Logic, Reasoning, and Knowledge Logic, programming, and type systems Advanced Algebra and Logic

Publication Details

Published in: Journal of Symbolic Logic

Volume 66, Issue 1, pp. 281-294

DOI: 10.2307/2694922

Field-Weighted Citation Impact: 3.29

Command Palette

On the admissible rules of intuitionistic propositional logic

Authors

Abstract

Topics & Keywords

Publication Details