ON THE ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC §1. Introduction. The
admissible rules of a theory are the rules Page 1 THE JOURNAL OF SYMBOLIC LOGIC Volume …

Intuitionism is a philosophy of mathematics that was introduced by the Dutch mathematician
LEJ Brouwer (1881–1966). Intuitionism is based on the idea that mathematics is a creation …

Admissible rules of a logic are those rules under which the set of theorems of the logic is
closed. In this paper, a Gentzen-style framework is introduced for analytic proof systems that …

Visser's rules form a basis for the admissible rules of ${\sf IPC}$. Here we show that this
result can be generalized to arbitrary intermediate logics: Visser's rules form a basis for the …

This paper contains a detailed account of the notion of admissibility in the setting of consequence
relations. It is proved that the two notions of admissibility used in the literature coincide, …

This paper presents a uniform and modular method to prove uniform interpolation for several
intermediate and intuitionistic modal logics. The proof-theoretic method uses sequent …

A method is presented that connects the existence of uniform interpolants to the existence of
certain sequent calculi. This method is applied to several modal logics and is shown to …

We introduce stable canonical rules and prove that each normal modal multi-conclusion
consequence relation is axiomatizable by stable canonical rules. We apply these results to …

In recent years, the logic of questions and dependencies has been investigated in the closely
related frameworks of inquisitive logic and dependence logic. These investigations have …

In Iemhoff (J. Symbolic Logic, to appear) we gave a countable basis V for the admissible rules
of IPC . Here, we show that there is no proper superintuitionistic logic with the disjunction …