research
∙
03/26/2022
Algorithmic correspondence and analytic rules
We introduce the algorithm MASSA which takes classical modal formulas in...
share
research
∙
03/17/2022
Unified inverse correspondence for DLE-Logics
By exploiting the algebraic and order theoretic mechanisms behind Sahlqv...
research
∙
02/23/2021
Syntactic completeness of proper display calculi
A recent strand of research in structural proof theory aims at exploring...
research
∙
11/05/2020
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
Focused sequent calculi are a refinement of sequent calculi, where addit...
research
∙
08/15/2019
Vector spaces as Kripke frames
In recent years, the compositional distributional approach in computatio...
research
∙
11/17/2018