Resolution in Linguistic First Order Logic based on Linear Symmetrical Hedge Algebra

Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan +1

This paper focuses on resolution in linguistic first order logic with truth value taken from linear symmetrical hedge algebra. We build the basic components of linguistic first ord…