Frederik Möllerström Lauridsen

Papers

1. Hyper-MacNeille completions of Heyting algebras
   J. Harding and F. M. Lauridsen
   Studia Logica, (2021) 109(5), pp. 1119–1157.
2. Integrally closed residuated lattices
   J. Gil‐Férez, F. M. Lauridsen, and G. Metcalfe
   Studia Logica, (2020) 108(5) pp. 1063–1083. [MR4151267]
3. Intermediate logics admitting a structural hypersequent calculus
   F. M. Lauridsen
   Studia Logica, 107(2) (2019), pp. 247–282. [MR3923633]
4. MacNeille transferability and stable classes of Heyting algebras
   G. Bezhanishvili, J. Harding, J. Ilin, and F. M. Lauridsen
   Algebra Universalis 79(3) (2018), Art. 55, 21 pp. [MR3827203]
5. One‐step Heyting algebras and hypersequent calculi with the bounded proof property
   N. Bezhanishvili, S. Ghilardi, and F. M. Lauridsen
   Journal of Logic and Computation, 27(7) (2017), pp. 2135–2169. [MR3802119]

Technical reports (not refereed)

• Bitopological Vietoris spaces and positive modal logic
  F. M. Lauridsen
  ILLC Publications, Technical Notes (X) Series. Report no. X-2015-01, (2015).

Theses

1. PhD thesis: Cuts and Completions: Algebraic aspects of structural proof theory
   University of Amsterdam (2019). (Errata)
2. Master's thesis: One-Step Algebras and Frames for Modal and Intuitionistic Logics
   University of Amsterdam (2015). (Erratum)
3. Bachelor's thesis: Strukturen af Algebraen af Modulformer af Niveau 1 Modulo p (in Danish)
   University of Copenhagen (2012).