Optimal Proofs

Optimal Proofs

Publications

2023

  • R. Iemhoff and R. Passmann (2023). Logics and admissible rules of constructive set theories. Philosophical Transactions of the Royal Society A, 381(2248): 20220018. pdf
  • M. Carl, L. Galeotti, and R. Passmann (2023). Realisability for infinitary intuitionistic set theory. Annals of Pure and Applied Logic 174(6), 103259.  online
  • R. Passmann (2023). Logical Structure of Constructive Set Theories. PhD Thesis. University of Amsterdam. pdf
  • I. van der Giessen (2023). Rules for Six Intuitionistic Modal Logics. Annals of Pure and Applied Logic 174(4): 103233. online
  • H. Férée and S. van Gool (2023). Formalizing and Computing Propositional Quantifiers. In: R. Krebbers, D. Traytel, B. Pientka, and S. Zdancewic Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, ACM New York, 2023, p. 148-158. github
  • S. van Gool, P. Melliès, and V. Moreau (2023). Profinite lambda-terms and parametricity. Submitted to Mathematical Foundations of Programming Semantics 2023. arxiv
  • M. Gehrke and S. van Gool (2023). Topological Duality for Distributive Lattices: Theory and Applications, Cambridge University Press, 2023. pre-print arxiv

2022

  • A. Akbar Tabatabai, R. Iemhoff, and R. Jalali (2022). Uniform Lyndon interpolation for intuitionistic monotone modal logic. In: D. Fernández-Duque, A. Palmigiano and S. Pinchinat (eds) Advances in Modal Logic, volume 14, College Publications, 2022, p. 77–96. arxiv
  • A. Akbar Tabatabai, R. Iemhoff and R. Jalali (2022). Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics. arxiv preprint, 2022. arxiv
  • R. Iemhoff (2022). Proof Theory for Lax Logic. Dick de Jongh 80. arxiv
  • R. Iemhoff (2022). The G4i analogue of a G3i calculus. Studia Logica 110(6): p. 1493-1506. pdf
  • I. van der Giessen and R. Iemhoff (2022). Proof theory for Intuitionistic Strong Löb Logic. arxiv
  • R. Passmann (2022). The first order logic of CZF is intuitionistic first-order logic. The Journal of Symbolic Logic: p. 1-23. arxiv
  • B. van den Berg and R. Passmann (2022). Converse extensionality and apartness. Logical Methods in Computer Science 18(4): p. 13:1-13:21. pdf
  • A. Akbar Tabatabai and R. Jalali (2022). Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics. arxiv
  • A. Akbar Tabatabai (2022). Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic. In: A. Ciabattoni, E. Pimentel, R.J.G.B. de Quieroz (eds) Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings, Cham Springer, 2022, p. 378-394.
  • A. Akbar Tabatabai (2022). Provability Logics of Hierarchies. In: D. Fernández-Duque, A. Palmigiano and S. Pinchinat (eds) Advances in Modal Logic, volume 14, College Publications, 2022, p. 59-76. arxiv
  • T. Colcombet, S. van Gool, and R. Morvan (2022). First order seperation of countable ordinals. In: P. Bouyer and L. Schröder (eds) Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Cham Springer, 2022, p. 264-284. arxiv

2021

  • A. Akbar Tabatabai, R. Iemhoff, and R. Jalali (2021). Uniform Lyndon interpolation for basic non-normal modal logics. In: A. Silva, R. Wassermann and R. de Quieroz (eds) Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings, Cham Springer, 2021, p. 287-301. github
  • R. Iemhoff and R. Passmann (2021). Logics of intuitionistic Kripke-Platek set theory. Annals of Pure and Applied Logic 172(10): p. 1-22. pdf
  • I. van der Giessen and R. Iemhoff (2021). Sequent Calculi for Intuitionistic Gödel-Löb Logic. Notre Dame Journal of Formal Logic 62(2): p. 221-246.
  • R. Passmann (2021). Should pluralists be pluralists about pluralism? Synthese 199(5-6): p. 12663-12682. online
  • M. Carl, L. Galeotti, and R. Passmann (2021). Randomising Realizability. In: L. De Mol, A. Weiermann, F. Manea and D. Fernández-Duque (eds) Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent July 5-9, 2021, Proceedings 17, Springer International Publishing, 2021, p. 82-93. arxiv
  • B. Löwe, R. Passmann, and S. Tarafder (2021). Constructing illoyal algebra-valued models of set theory. Algebra Universalis 82(3): 46. online
  • I. van der Giessen (2021). Exploring a result by Ghilardi: projective formulas vs. the extension property. In: M. Blicha and I. Sedlar (eds) The Logica Yearbook 2020, College Publications, 2021, p. 97-114.
  • I. van der Giessen, R. Jalali, and R. Kuznets (2021). Uniform Interpolation via Nested Sequents. In: A. Silva, R. Wassermann and R. de Quieroz (eds) Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings, Springer Cham, 2021, p. 337-354.
  • R. Jalali (2021). Proof complexity of substructural logics. Annals of Pure and Applied Logic 172(7): 102972 online
  • I. van der Giessen, R. Jalali, and R. Kuznets (2021). Uniform interpolation via nested sequents and hypersequents. arxiv preprint. arxiv
  • A. Akbar Tabatabai (2021). Implication via Spacetime. In: M. Mojtahedi, S. Rahman, and M.S. Zarepour (eds) Mathematics, Logics and Their Philosophies. Springer Cham, 2021, p. 161-216. arxiv
  • W. Fussner, M. Gehrke, S. van Gool, and V. Marra (2021). Priestley duality for MV-algebras and beyond. Forum Mathematicum 33(4): p. 899-921. arxiv
  • S. van Gool, A. Guatto, G. Metcalfe, and S. Santschi (2021). Time Warps, from Algebra to Algorithms. In: U. Fahrenberg, M. Gehrke, L. Santocanale, M. Winter (eds) Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings 19, Springer Cham, 2021, p. 309-324. arxiv

2020

  • I. Ciardelli, R. Iemhoff, and F. Yang (2020). Questions and Dependency in Intuitionistic Logic. Notre Dame Journal of Formal Logic 61(1): p. 75-115. arxiv
  • R. Passmann (2020). De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. In: M. Fernández and A. Muscholl (eds) 28th EASCL Annual Conference on Computer Science Logic (CSL 2020), Proceedings 152, Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, 2020, p. 33:1-33:16. arxiv

2019

  • R. Iemhoff (2019). Uniform interpolation and the existence of sequent calculi. Annals of Pure and Applied Logic 170(11): p. 1-37.
  • R. Iemhoff (2019). Uniform interpolation and sequent calculi in modal logic. Archive for Mathematical Logic 58(1-2): p. 155-181. pdf
  • R. Iemhoff (2019). The Skolemization of Prenex Formulas in Intermediate Logics. Indagationes Mathematicae 30(3), Special Issue, L.E.J. Brouwer after 50 years: p. 470-491. online
  • H. Geuvers, I. van der Giessen, and T. Hurkens (2019). Strong Normalization for Truth Table Natural Deduction. Fundamenta Informaticae 170(1-3): p. 139-176. pdf
  • R. Jalali (2019). An Exponential Lower Bound for Proofs in Focused Calculi. In: R. Iemhoff, M. Moortgat, and R. de Quieroz (eds) Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5 2019, Proceedings, Springer Heidelberg Berlin, 2019, p. 342-355. preprint
  • A. Akbar Tabatabai and R. Jalali (2019). Universal Proof Theory: Semi-Analytic Rules and Interpolation. github
  • S. van Gool and B. Steinberg (2019). Merge Decompositions, two sided Krohn-Rhodes, and Aperiodic Pointlikes. Canadian Mathematical Bulletin 62(1): p. 199-208. arxiv
  • S. van Gool and B. Steinberg (2019). Pro-aperiodic monoids via saturated models. Israel Journal of Mathematics 234: p. 451-498. arxiv
  • S. van Gool and B. Steinberg (2019). Pointlike sets for varieties determined by groups. Advances in Mathematics 348: p. 18-50. online

2018

  • R. Iemhoff (2018). Terminating Sequent Calculi for Two Intuitionistic Modal Logics. Journal of Logic and Computation 28(7): p. 1701-1712.
  • A. Akbar Tabatabai (2018). Proof Mining in Bounded Arithmetic. Preprint. github
  • M. Gehrke and S. van Gool (2018). Sheaves and Duality. Journal of Pure and Applied Algebra 222(8): p. 2164-2180. arxiv
  • S. van Gool and L. Reggio (2018). An open mapping theorem for finitely copresented Esakia spaces. Topology and its Applications 240: p. 69-77. online