1 paper
Giuseppe Greco, Fei Liang, M. Andrew Moshier +1
In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete, conservative, and enjoy cu…