A treatise on many-valued logics
This book provides coverage of many multi-valued logics from theoretical foundations to latest results and applications, including theorem proving, approximate reasoning, program verification and generalized set theories. It covers the main areas of actual research interest, surveys the most important results and indicates the lines of actual research tendencies
Print Book, English, ©2001
Research Studies Press, Baldock, Hertfordshire, England, ©2001