Arithmetical Complexity of Fuzzy Predicate Logics - A Survey

Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey.
Soft Computing. Roč. 9, č. 12 (2005), s. 935-941. ISSN 1432-7643. E-ISSN 1433-7479
Impact factor: 0.538, year: 2005
http://hdl.handle.net/11104/0125711

Cited: 17

--- GOTTWALD, S. Mathematical fuzzy logics. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, JUN 2008, vol. 14, no. 2, p. 210-239. [WOS]
--- LI, Y. Approximation and robustness of fuzzy finite automata. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, FEB 2008, vol. 47, no. 2, p. 247-257. [WOS]
--- LI, Y.M. Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 1 2009, vol. 160, no. 23, p. 3453-3474. [WOS]
--- CINTULA, P. - ESTEVA, F. - GISPERT, J. - GODO, L. - MONTAGNA, F. - NOGUERA, C. Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JUL 2009, vol. 160, no. 1, p. 53-81. [WOS]
--- LI, Y.M. Fuzzy Turing Machines: Variants and Universality. IEEE TRANSACTIONS ON FUZZY SYSTEMS. ISSN 1063-6706, DEC 2008, vol. 16, no. 6, p. 1491-1502. [WOS]
--- BAAZ, M. - METCALFE, G. Herbrand theorems and Skolemization for Prenex fuzzy logics. LOGIC AND THEORY OF ALGORITHMS. ISSN 0302-9743, 2008, vol. 5028, p. 22-31. [WOS]
--- Dubois, D. - Esteva, F. - Godo, L. - Prade, H. Fuzzy-set Based Logics - An History-oriented Presentation of their Main Developments. Handbook of the History of Logic, Volume 8: The Many Valued and Non-monotonic Turn in Logic, Elsevier, p.325-449 (2007)
--- BAAZ, M. - CIABATTONI, A. - FERMULLER, C.G. THEOREM PROVING FOR PRENEX GODEL LOGIC WITH Delta: CHECKING VALIDITY AND UNSATISFIABILITY. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2012, vol. 8, no. 1. [WOS]
--- MUNDICI, D. A Compact [0,1]-valued First-order Lukasiewicz Logic with Identity on Hilbert Space. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 2011, vol. 21, no. 3, SI, p. 509-525. [WOS]
--- MUNDICI, D. A First-Order Lukasiewicz Logic with [0,1]-Identity. ADVANCED LUKASIEWICZ CALCULUS AND MV-ALGEBRAS. ISSN 1572-6126, 2011, vol. 35, p. 217-227. [WOS]
--- MONTAGNA, F. - NOGUERA, C. Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2010, vol. 20, no. 2, p. 399-424. [WOS]
--- BAAZ, M. - FERMULLER, C.G. A Resolution Mechanism for Prenex Godel Logic. COMPUTER SCIENCE LOGIC. ISSN 0302-9743, 2010, vol. 6247, p. 67-79. [WOS]
--- ALI, M. - TAMIR, D.E. - RISHE, N.D. - KANDEL, A. Complex Intuitionistic Fuzzy Classes. 2016 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE). ISSN 1544-5615, 2016, p. 2027-2034. [WOS]
--- TAMIR, D.E. - RISHE, N.D. - KANDEL, A. Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications. FIFTY YEARS OF FUZZY LOGIC AND ITS APPLICATIONS. ISSN 1434-9922, 2015, vol. 326, p. 661-681. [WOS]
--- LIU, X.X. - LI, X. - XIANG, H.Y. Turing Machine Algorithm Implementation of Arc-sin Function in Real Number. 2ND INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY FOR EDUCATION (ICTE 2015). 2015, p. 373-378. [WOS]
--- CINTULA, P. - HORCIK, R. - NOGUERA, C. The Quest for the Basic Fuzzy Logic. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 245-290. [WOS]
--- GOTTWALD, S. Many-Valued and Fuzzy Logics. SPRINGER HANDBOOK OF COMPUTATIONAL INTELLIGENCE. 2015, p. 7-29. [WOS]