Representation theorems and the semantics of non-classical logics, and applications to automated theorem proving (2003)

by V Sofronie-Stokkermans
Venue:In eds.M.Fitting and E.Orlowska, Springer Verlag series Studies in Fuzziness and Soft Computing