An HOL Theory For Logic States with Indeterminate Strengths | IEEE Conference Publication | IEEE Xplore