TY - RPRT TI - On neighborhood product of some Horn axiomatizable logics AU - Andrey Kudinov PY - 2016 UR - https://arxiv.org/abs/1609.03232 ID - 1609.03232 ER -