Frederik Möllerström Lauridsen

Invited

• MacNeille transferability for finite lattices.
  ToLo VI, Tbilisi (July 2018).
• MacNeille transferable lattices and stable classes of Heyting algebras.
  Algebra and Duality in Non-classical Logic, Amsterdam (June 2018).
• Some observations regarding cut‐free hypersequent calculi for intermediate logics.
  ToLo V, Tbilisi (June 2016).
• One-step algebras and frames for intermediate logics.
  Correspondence and Canonicity in Non‐classical Logic, Amsterdam (September 2015).

Contributed

• Hyper‐MacNeille completions of Heyting algebras.
  TACL IX, Nice (June 2019).
• A Glivenko theorem for lattice ordered‐groups.
  TACL IX, Nice (June 2019).
• MacNeille transferability for finite lattices.
  LATD VI, Bern (August 2018).
• Intermediate logics admitting structural hypersequent calculi.
  TACL VIII, Prague (June 2017).
• Some observations regarding cut‐free hypersequent calculi for intermediate logics.
  SYSMICS, Barcelona (September 2016).
• The bounded proof property: Intuitionistic case.
  ALCOP VII, Vienna (April 2016).