Zobrazeno 1 - 10
of 143
pro vyhledávání: '"Iemhoff, Rosalie"'
We provide a new sequent calculus that enjoys syntactic cut-elimination and strongly terminating backward proof search for the intuitionistic Strong L\"ob logic $\sf{iSL}$, an intuitionistic modal logic with a provability interpretation. A novel meas
Externí odkaz:
http://arxiv.org/abs/2309.00486
Autor:
Iemhoff, Rosalie, Jalali, Raheleh
The subject of these short lecture notes is a recently emerging area within proof theory, called \emph{Universal Proof Theory}. Here one is concerned with the existence and nonexistence of good (or useful or applicable or ...) proof systems.
Externí odkaz:
http://arxiv.org/abs/2305.10888
Autor:
Iemhoff, Rosalie, Passmann, Robert
We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide
Externí odkaz:
http://arxiv.org/abs/2212.03105
Autor:
Iemhoff, Rosalie
In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a separate, s
Externí odkaz:
http://arxiv.org/abs/2209.08976
In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal and conditional logics is introduced and applied to show that the logics $\mathsf{E}$, $\mathsf{M}$, $\mathsf{EN}$, $\mathsf{MN}$, $\mathsf{MC}$, $\mat
Externí odkaz:
http://arxiv.org/abs/2208.05202
In this paper we show that the intuitionistic monotone modal logic $\mathsf{iM}$ has the uniform Lyndon interpolation property (ULIP). The logic $\mathsf{iM}$ is a non-normal modal logic on an intuitionistic basis, and the property ULIP is a strength
Externí odkaz:
http://arxiv.org/abs/2208.04607
Autor:
Iemhoff, Rosalie
Publikováno v:
In Jan van Eijck, Joost Joosten & Rosalie Iemhoff (Eds.), Liber Amicorum Alberti. A Tribute to Albert Visser. (pp. 165-178). London: College Publications, 2016
Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if it has a
Externí odkaz:
http://arxiv.org/abs/2112.15028
Autor:
Iemhoff, Rosalie.
Proefschrift Universiteit van Amsterdam.
Met index, lit. opg. - Met samenvatting in het Nederlands.
Met index, lit. opg. - Met samenvatting in het Nederlands.
Externí odkaz:
http://dare.uva.nl/document/60439
Autor:
Iemhoff, Rosalie
This paper provides a method to obtain terminating analytic calculi for a large class of intuitionistic modal logics. For a given logic L with a cut-free calculus G that is an extension of G3ip the method produces a terminating analytic calculus that
Externí odkaz:
http://arxiv.org/abs/2011.11847