Geodesic
On resolution strategies in fuzzy logic
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 1 (2013), pp. 55-58 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

In this paper resolution strategies in fuzzy logic are investigated. Some new deduction strategies are introduced in fuzzy logic, analogous to those of classic logic, aimed to narrow deduction search space. In particular, semantic resolution is redefined for fuzzy logic, and some special cases are considered. The completeness of these strategies is proved.
Keywords: fuzzy logic, resolution strategy, completeness. 
@article{UZERU_2013_1_a9,
     author = {S. K. Yengoyan},
     title = {On resolution strategies in fuzzy logic},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {55--58},
     year = {2013},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2013_1_a9/}
}
TY  - JOUR
AU  - S. K. Yengoyan
TI  - On resolution strategies in fuzzy logic
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2013
SP  - 55
EP  - 58
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/UZERU_2013_1_a9/
LA  - en
ID  - UZERU_2013_1_a9
ER  - 
%0 Journal Article
%A S. K. Yengoyan
%T On resolution strategies in fuzzy logic
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2013
%P 55-58
%N 1
%U http://geodesic.mathdoc.fr/item/UZERU_2013_1_a9/
%G en
%F UZERU_2013_1_a9
S. K. Yengoyan. On resolution strategies in fuzzy logic. Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 1 (2013), pp. 55-58. http://geodesic.mathdoc.fr/item/UZERU_2013_1_a9/

[1] C.Chang, R.Lee, Symbolic Logic and Mechanical Theorem Proving, ed. 1st Edition, 1973, 52–112 | MR

[2] R. Lee, “Fuzzy Logic and the Resolution Principle”, JACM, 19:1 (1972), 109–119 | DOI | MR | Zbl

[3] H.Habiballa, V.Novak, Fuzzy General Resolution, Aplimat, Bratislava, 2002, 199–206

[4] M. Baaz, C.Fermuller, G.Salzer, “Automated Deduction for Many-Valued Logics”, Handbook of Automated Reasoning, v. 2, eds. A. Robinson, A. Voronkov, MIT, 2001, 1355–1402 | DOI