Rough mereological logics with applications to approximate reasoning