On the admissible rules of intuitionistic propositional logic
R Iemhoff - The Journal of Symbolic Logic, 2001 - cambridge.org
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 …
admissible rules of a theory are the rules Page 1 THE JOURNAL OF SYMBOLIC LOGIC Volume …
[HTML][HTML] Intuitionism in the Philosophy of Mathematics
R Iemhoff - 2008 - plato.sydney.edu.au
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 …
LEJ Brouwer (1881–1966). Intuitionism is based on the idea that mathematics is a creation …
Proof theory for admissible rules
R Iemhoff, G Metcalfe - Annals of Pure and Applied Logic, 2009 - Elsevier
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 …
closed. In this paper, a Gentzen-style framework is introduced for analytic proof systems that …
Intermediate logics and Visser's rules
R Iemhoff - Notre Dame Journal of Formal Logic, 2005 - projecteuclid.org
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 …
result can be generalized to arbitrary intermediate logics: Visser's rules form a basis for the …
[HTML][HTML] Consequence relations and admissible rules
R Iemhoff - Journal of Philosophical Logic, 2016 - Springer
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, …
relations. It is proved that the two notions of admissibility used in the literature coincide, …
[HTML][HTML] Uniform interpolation and the existence of sequent calculi
R Iemhoff - Annals of Pure and Applied Logic, 2019 - Elsevier
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 …
intermediate and intuitionistic modal logics. The proof-theoretic method uses sequent …
Uniform interpolation and sequent calculi in modal logic
R Iemhoff - Archive for Mathematical Logic, 2019 - Springer
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 …
certain sequent calculi. This method is applied to several modal logics and is shown to …
Stable canonical rules
G Bezhanishvili, N Bezhanishvili… - The Journal of Symbolic …, 2016 - cambridge.org
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 …
consequence relation is axiomatizable by stable canonical rules. We apply these results to …
Questions and dependency in intuitionistic logic
I Ciardelli, R Iemhoff, F Yang - 2020 - projecteuclid.org
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 …
related frameworks of inquisitive logic and dependence logic. These investigations have …
A (nother) characterization of intuitionistic propositional logic
R Iemhoff - Annals of Pure and Applied Logic, 2001 - Elsevier
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 …
of IPC . Here, we show that there is no proper superintuitionistic logic with the disjunction …