Automated generation of Hilbert calculi for finite-valued logics DEKLA'25 Workshop, Cagliari, Italy PDF