Implication Algebras and Implication Semigroups of Binary Relations. - Andrew Lewis-Smith; Jas Semrl (RAMiCS, 2023)

A Kripke Semantics for Hajek's BL. - Andrew Lewis-Smith (AMSLO@ESSLLI, 2023)