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

by V Sofronie-Stokkermans
Venue:Beyond Two: Theory and Applications of Multiple Valued Logic. Studies in Fuzziness and Soft Computing