Multi-type Display Calculus for Semi De Morgan Logic.

Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano

Browse the full WoLLIC paper archive.