activity
20172026
most citedModel Theory and Proof Theory of Coalgebraic Predicate Logic

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed Points

Jun Suzuki, Charles Grellois, Katsuhiko Sano

This paper establishes the cut-elimination theorem for intuitionistic propositional multiplicative-additive linear logic with the least and greatest fixpoints (IMALL) by means o…