Intuitionistic Rules

Intuitionistic Rules

The totality of admissible rules is an invariant associated to a logic. In my dissertation, I explain how one can describe the admissible rules of a logic and I hint at several ways in which admissible rules provide one with information about a given logic. To be a bit more specific, I describ...

Admissibility and refutation

Admissibility and refutation

Refutation systems are formal systems for inferring the falsity of formulae. These systems can, in particular, be used to syntactically characterise logics. In this paper, we explore the close connection between refutation systems and admissible rules. We develop technical machinery to constru...

The Admissible Rules of BD2 and GSc

The Admissible Rules of BD2 and GSc

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...