Finite axiomatizability of logics of distributive lattices with negation.

Mon, 01 May 2023 01:00:00 +0200

Sérgio Marcelino , Umberto Rivieccio:
Finite axiomatizability of logics of distributive lattices with negation. Log. J. IGPL 31(3): 510-533 (2023)