Best possible answer is computable for fuzzy SLD-resolution
作者： Leonard Paulík
DOI:
关键词:
摘要:
参考文章(8)
Peter Vojtás, Leonard Paulík, Soundness and completeness of non-classical extended SLD-resolution international workshop on extensions of logic programming. pp. 289- 301 ,(1996) , 10.1007/3-540-60983-0_20
Peter Vojtáš, Leonard Paulík, Logic Programming in RPL and RQL conference on current trends in theory and practice of informatics. pp. 487- 492 ,(1995) , 10.1007/3-540-60609-2_38
Petr Hájek, Fuzzy Logic From The Logical Point of View conference on current trends in theory and practice of informatics. pp. 31- 49 ,(1995) , 10.1007/3-540-60609-2_2
Jan Pavelka, On Fuzzy Logic I Many-valued rules of inference Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. ,vol. 25, pp. 45- 52 ,(1979) , 10.1002/MALQ.19790250304
Petr Hájek, Lluis Godo, Francesc Esteva, A complete many-valued logic with product-conjunction Archive for Mathematical Logic. ,vol. 35, pp. 191- 208 ,(1996) , 10.1007/BF01268618
Petr Hájek, Fuzzy logic and arithmetical hierarchy Fuzzy Sets and Systems. ,vol. 73, pp. 359- 363 ,(1995) , 10.1016/0165-0114(94)00299-M
Vilém Novák, On the syntactico-semantical completeness of first-order fuzzy logic. II, Main results Kybernetika. ,vol. 26, pp. 134- 154 ,(1990)
Krzysztof R. Apt, Logic Programming ,(1992)