2 citations · 2 across the 2 of their papers we have counts for
3 papers
Syntactic completeness of proper display calculi
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cu…
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…
Non normal logics: semantic analysis and proof theory
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, conserva…