26 citations · 131 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 2 cited
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
Giuseppe Greco, Valentin D. Richard, Michael Moortgat +1
\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof sea…
math.LO2020
Non-normal logics: semantic analysis and proof theory (extended version)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conserv…