5 citations · 5 across the 4 of their papers we have counts for
4 papers
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…
Undecidability of Linear Logics without Weakening
Jun Suzuki, Katsuhiko Sano
The goal of this paper is to establish that it remains undecidable whether a sequent is provable in two systems in which a weakening rule for an exponential modality is completely…
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
Tadeusz Litak, Katsuhiko Sano
Propositional inquisitive logic is the limit of its -bounded approximations. In the predicate setting, however, this does not hold anymore, as discovered by Ciardelli and Grille…
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano +1
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can…