Infectious semantics and analytic calculi for even more inclusion logics.

Wed, 01 Jan 2020 00:00:00 +0100

Carlos Caleiro , Sérgio Marcelino , Pedro Filipe:
Infectious semantics and analytic calculi for even more inclusion logics. ISMVL 2020: 224-229