Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework.

Jun Liu, Luis Martnez-Lpez, Yang Xu, Zhirui Lu

Browse the full IFSA paper archive.