In this paper, a description of semantics for non-classical negations of paralogics CLuN and CLaN is presented in terms of the theory of oppositions. An outline of a synthetic tableaux method for these and some other paralogics is given as well.
More details here