Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 11
Number of items: 11
  • Bezhanishvili, N., Iemhoff, R., & Yang, F. (Eds.) (2024). Dick de Jongh on Intuitionistic and Provability Logics. (Outstanding Contributions to Logic; Vol. 28). Springer. https://doi.org/10.1007/978-3-031-47921-2
  • Open Access
    Passmann, R. (2023). Logical structure of constructive set theories. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Iemhoff, R., & Passmann, R. (2021). Logics of intuitionistic Kripke-Platek set theory. Annals of Pure and Applied Logic, 172(10), Article 103014. https://doi.org/10.1016/j.apal.2021.103014
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., & Iemhoff, R. (2016). Stable canonical rules. Journal of Symbolic Logic, 81(1), 284-315. https://doi.org/10.1017/jsl.2015.54
  • de Jongh, D. H. J., Iemhoff, R., & Zhou, C. (2004). Properties of Intuitionistic Provability and Preservativity Logics. In W. A. Carnielli, F. M. Dionisio, & P. Mateus (Eds.), CombLog'04, Workshop on Combination of Logics: Theory and Applications
  • Iemhoff, R. (2001). A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic, 113(1-3), 161-173.
  • Iemhoff, R. (2001). On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic, 66, 281-294. https://doi.org/10.2307/2694922
  • Iemhoff, R. (2001). A modal analysis of some principles of the provability logic of Heyting arithmetic. In M. de Rijke, K. Segerberg, H. Wansing, & M. Zakharyaschev (Eds.), Advances in Modal Logic ('98) (Vol. 2, pp. 319-354). CSLI Publications.
  • Open Access
    Iemhoff, R. (2001). Provability Logic and Admissible Rules. [Thesis, fully internal, Universiteit van Amsterdam].
  • Iemhoff, R. (2000). A(nother) characterization of Intuitionistic Propositional Logic. (Technical Reports; No. PP-2000-06). Institute for Logic, Language and Computation.
Page 1 of 2