1 paper
Takuma Imamura, Shuya Matsumoto, Shin Quawai
We report on the current status of our on-going project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom $\mathbf{LIN}\co…