Formulae, tautologies, and equipotences in the complex s-logic | IEEE Conference Publication | IEEE Xplore