3 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
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…