On some transformation theorems in many-valued logical systems | IEEE Conference Publication | IEEE Xplore