Frederik Möllerström Lauridsen

According to our database¹, Frederik Möllerström Lauridsen authored at least 4 papers between 2017 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Hyper-MacNeille Completions of Heyting Algebras.

[BibT_eX]

[DOI]

Stud Logica, 2021

2020

Integrally Closed Residuated Lattices.

[BibT_eX]

[DOI]

Stud Logica, 2020

2019

Intermediate Logics Admitting a Structural Hypersequent Calculus.

[BibT_eX]

[DOI]

Stud Logica, 2019

2017

One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property.

[BibT_eX]

[DOI]

J. Log. Comput., 2017