Tags:paralogics, square of oppositions and synthetic tableau method
Abstract:
In this paper, a description of semantics for non-classical negations of paralogics CLuN and CLaN is presented in terms of the square of opposition. An outline of a synthetic tableaux method for these and some other paralogics is given as well.