Ryo Kashima On semilattice relevant logics. 401-414 2003 49 Math. Log. Q. 4 http://dx.doi.org/10.1002/malq.200310043 db/journals/mlq/mlq49.html#Kashima03