Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 4
Number of items: 4
  • Open Access
    Lauridsen, F. M. (2019). Intermediate logics admitting a structural hypersequent calculus. Studia Logica, 107(2), 247–282. https://doi.org/10.1007/s11225-018-9791-y
  • Open Access
    Lauridsen, F. M. (2019). Cuts and completions: Algebraic aspects of structural proof theory. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Bezhanishvili, G., Harding, J., Ilin, J., & Lauridsen, F. M. (2018). MacNeille transferability and stable classes of Heyting algebras. Algebra Universalis, 79(3), Article 55. https://doi.org/10.1007/s00012-018-0534-8
  • Bezhanishvili, N., Ghilardi, S., & Lauridsen, F. M. (2017). One-step Heyting algebras and hypersequent calculi with the bounded proof property. Journal of Logic and Computation, 27(7), 2135–2169. https://doi.org/10.1093/logcom/exw029
Page of