多值逻辑、逻辑代数、模糊逻辑（多值逻辑是有多于两个的可能的真值的逻辑演算，并如布尔值逻辑（属于逻辑代数）就是一种很有用的多值逻辑如已逻辑代数为主的多值逻辑在70年代后被用于计算机科学和人工智能等方面如1987年就已成立中国计算机学会多值逻辑学组，那时都叫各学组而还没专业委员会，其后才有中国计算机学会多值逻辑专业委员会，再其后才改为中国计算机学会多值逻辑与模糊逻辑专业委员会，这也是因模糊逻辑是建立在多值逻辑基础上的逻辑，而能占居计算机一个专业委员会也可见其作用和广泛）：

J. Barkley Rosser和Atwell R. Turquette合撰《Many-valued logics》（J. Barkley Rosser在1963-1978年担任美国威斯康星大学数学研究中心主任，其后退休并转任荣誉退休教授，可参考Notices Amer. Math. Soc.报道简介的他J. Barkley Rosser (1907–1989) 并作者Gerald E. Sacks是他的最得意博士生，或参考IEEE Computer Pioneers对J. Barkley Rosser报道，或见IEEE计算机先驱名单-这个名单有几个世纪前的人也不知怎样来的）。

J. Barkley Rosser和他的另一最得意博士George E. Collins都是我的导师柳柏濂教授去合作几年的美国威斯康星大学教授，当然也是逻辑学大师的这里的计算机科学之父Kleene克莱尼也一直是威斯康星大学教授（关于George E. Collins就如王东明院士最近的这篇文章说他提出的柱形代数分解（简称CAD）是第一个实用的量词消去算法，因此又被称为Collins算法，并把David Hilbert（1862—1943）、Kurt Gödel（1906—1978）、Alfred Tarski（1901—1983）和他George E. Collins（1928—2017）并列，这还了得-这3人分别是数学之王、计算机科学之父、现代逻辑学之父）

J. Barkley Rosser的徒孙Udi Manber最近写了很受欢迎的《算法引论：一种创造性方法》并也回归威斯康星大学教授后担任其时排名全球第一企业的Google副总裁；Barkley Rosser的另一博士Stephen G. Simpson就是写了这里中间部分的《二阶算术子系统》一书的作者；而Barkley Rosser的另一博士Richard A.Shore就是这里和海南琼州大学编委美国数学会主席合撰世界名著《应用逻辑学》的大师。

关于逻辑代数我国在70年代末80年代初就已出了很多书籍；模糊逻辑，我早就有Lotfi A. Zadeh扎德的《模糊集合、语言变量及模糊逻辑》科学出版社1982，其后也有王耀南的《智能控制系统:模糊逻辑·专家系统·神经网络控制》等并当然还有很多书名不含模糊逻辑的综合书籍也有约一章篇幅写模糊逻辑如约1993年前已出版的楼世博的《模糊数学》和楼世博译的《模糊开关和自动机》、汪培庄的《模糊集合论及其应用》、郭桂蓉的《模糊模式识别》、区奕勤的《模糊数学及其应用》等。