Frederik Möllerström Lauridsen

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 4

Top Topics

Boolean Algebra

Sequent Calculi

Spatial Reasoning

Top Venues

J. Log. Comput.

Publications

J. Harding, Frederik Möllerström Lauridsen
Hyper-MacNeille Completions of Heyting Algebras. Stud Logica 109 (5) (2021)
José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe
Integrally Closed Residuated Lattices. Stud Logica 108 (5) (2020)
Frederik Möllerström Lauridsen
Intermediate Logics Admitting a Structural Hypersequent Calculus. Stud Logica 107 (2) (2019)
Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property. J. Log. Comput. 27 (7) (2017)