TY - RPRT TI - Resolution in Linguistic First Order Logic based on Linear Symmetrical Hedge Algebra AU - Thi-Minh-Tam Nguyen AU - Viet-Trung Vu AU - The-Vinh Doan AU - Duc-Khanh Tran PY - 2014 UR - https://arxiv.org/abs/1403.6237 ID - 1403.6237 ER -