Finite axiomatizability of logics of distributive lattices with negation.

Fri, 01 Jan 2021 00:00:00 +0100

Sérgio Marcelino, Umberto Rivieccio:
Finite axiomatizability of logics of distributive lattices with negation. CoRR abs/2102.05421 (2021)