Lima Neto, C., Silva, T., & Rivieccio, U. 2022 jul 31. Quasi-N4-lattices and their logic. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :