Carlos Caleiro, Sérgio Marcelino, Pedro Filipe. Infectious semantics and analytic calculi for even more inclusion logics. In 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020. pages 224-229, IEEE, 2020. [doi]
Abstract is missing.