Consistent generalization of classical Boolean two-valued into real-valued theories | IEEE Conference Publication | IEEE Xplore