An algebraic analysis of implication in non-distributive logics

Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka. An algebraic analysis of implication in non-distributive logics. Journal of Logic and Computation, 33(1):47-89, January 2023. [doi]

Abstract

Abstract is missing.