Fuzzy Logic and Arithmetical Hierarchy

0402186 - UIVT-O 950296 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Fuzzy Logic and Arithmetical Hierarchy.
Fuzzy Sets and Systems. Roč. 73, č. 3 (1995), s. 359-363. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR IAA130108
Klíčová slova: fuzzy logic * undecidability
Impakt faktor: 0.445, rok: 1995

Citováno: 39

--- Novák V. Open Theories in Fuzzy Logic in Narrow Sense. IPMU'96. Granada : Universidad de Granada, p. 1003-1007
--- Novák V, Perfilieva I, 1999, Močkoř J. Mathematical principles of fuzzy logic. : Kluwer,
--- Novák, V, Perfilieva I, 1999, Močkoř J. Mathematical principles of fuzzy logic. Boston : Kluwer Academ. Press,
--- Klement E.P, Mesiar R, Pap E. Triangular norms. : Kluwer Academic Publ, 2000,
--- Novák V. Fuzzy logic in narrow and broader sense - state of art. Tatra Mountains Math. Publ, 1997, vol. 12, p. 131-149
--- Novák V. Formal theorie in fuzzy logic. Fuzzy sets, logic and reasoning about knowledge. : Kluwer Academic Publ, 1999,
--- Xu Y, Ruan D, Qin K, 2003, Liu J. Lattice-Valued logic. Studies in Fuzziness and Soft Computing. Berlin : Springer, vol. 132,
--- Gottwald S. A Treatise on Many-Valued Logics. Baldock : Research Studies Press, 2001
--- DI L.ascio .L. - GISOLFI, A. Graded tableaux for Rational Pavelka Logic. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS. ISSN 0884-8173, DEC 2005, vol. 20, no. 12, p. 1273-1285. [WOS]
--- DICK, S. Toward complex fuzzy logic. IEEE TRANSACTIONS ON FUZZY SYSTEMS. ISSN 1063-6706, JUN 2005, vol. 13, no. 3, p. 405-414. [WOS]
--- BEDREGAL, B.C. - FIGUEIRA, S. On the computing power of fuzzy Turing machines. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAY 1 2008, vol. 159, no. 9, p. 1072-1083. [WOS]
--- BEDREGAL, B.C. A normal form which preserves tautologies and contradictions in a class of fuzzy logics. JOURNAL OF ALGORITHMS. ISSN 0196-6774, JUL-OCT 2007, vol. 62, no. 3-4, p. 135-147. [WOS]
--- BIACINO, L. - GERLA, G. Fuzzy logic, continuity and effectiveness. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, OCT 2002, vol. 41, no. 7, p. 643-667. [WOS]
--- HO, N.C. - NAM, H.V. An algebraic approach to linguistic hedges in Zadeh's fuzzy logic. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUL 16 2002, vol. 129, no. 2, p. 229-254. [WOS]
--- DRAGULICI, D. - GEORGESCU, G. Algebraic logic for rational Pavelka predicate calculus. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2001, vol. 47, no. 3, p. 315-326. [WOS]
--- ESTEVA, F. - GODO, L. - MONTAGNA, F. The L Pi and L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JAN 2001, vol. 40, no. 1, p. 39-67. [WOS]
--- NOVAK, V. Paradigm, formal properties and limits of fuzzy logic. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS. ISSN 0308-1079, 1996, vol. 24, no. 4, p. 377-405. [WOS]
--- BEDREGAL, B.C. - CRUZ, A.P. A characterization of classic-like fuzzy semantics. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, AUG 2008, vol. 16, no. 4, p. 357-370. [WOS]
--- MONTAGNA, F. Notes on strong completeness in Lukasiewicz, product and BL logics and in their first-order extensions. ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS - PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY. ISSN 0302-9743, 2007, vol. 4460, p. 247-274. [WOS]
--- Cintula, P. - Noguera, C. A General Framework for Mathematical Fuzzy Logic. Handbook of Mathematical Fuzzy Logic - Vol. 1. London : College Publications, 2011, P. 103-207. ISBN 978-1-84890-039-4.
--- Esteva, F. - Godo, L. - Marchioni, E. Fuzzy Logics with Enriched Language. Handbook of Mathematical Fuzzy Logic - Vol. 2. London : College Publications, 2011, P. 627-711. 978-1-84890-054-7.
--- LU, Z.R. - AUGUSTO, J. - LIU, J. - WANG, H. A LINGUISTIC TRUTH-VALUE TEMPORAL REASONING (LTR) SYSTEM AND ITS APPLICATION TO THE DESIGN OF AN INTELLIGENT ENVIRONMENT. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS. ISSN 1875-6883, FEB 2012, vol. 5, no. 1, p. 173-196. [WOS]
--- BOU, F. Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. ISSN 1542-3980, 2012, vol. 19, no. 1-3, SI, p. 25-39. [WOS]
--- TAMIR, D.E. - KANDEL, A. Axiomatic Theory of Complex Fuzzy Logic and Complex Fuzzy Classes. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL. ISSN 1841-9836, SEP 2011, vol. 6, no. 3, SI, p. 562-576. [WOS]
--- TAMIR, D.E. - JIN, L. - KANDEL, A. A New Interpretation of Complex Membership Grade. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS. ISSN 0884-8173, APR 2011, vol. 26, no. 4, p. 285-312. [WOS]
--- BOU, F. Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters. 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010. ISSN 0195-623X, 2010, p. 83-88. [WOS]
--- Novák, V. A Concise Glance at the History of Fuzzy logic in Czechia (with a Glimpse of the Origin of Data-Mining - the GUHA Method). In Logic in Central and Eastern Europe. History, Science and Discourse. University Press of America 2013, p.526-542
--- GERLA, G. VAGUENESS AND FORMAL FUZZY LOGIC: Some criticisms. LOGIC AND LOGICAL PHILOSOPHY. ISSN 1425-3305, DEC 2017, vol. 26, no. 4, p. 431-460. [WOS]
--- GHARI, M. Pavelka-style fuzzy justification logics. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, OCT 2016, vol. 24, no. 5, p. 743-773. [WOS]
--- VYCHODIL, V. Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections. IEEE TRANSACTIONS ON FUZZY SYSTEMS. ISSN 1063-6706, JUN 2016, vol. 24, no. 3, p. 645-660. [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]
--- BELOHLAVEK, R. Pavelka-style fuzzy logic in retrospect and prospect. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 15 2015, vol. 281, SI, p. 61-72. [WOS]
--- PAN, J.J. - CHANG, J. - YANG, X.S. - LIANG, H. - ZHANG, J.J. - QURESHI, T. - HOWELL, R. - HICKISH, T. Virtual reality training and assessment in laparoscopic rectum surgery. INTERNATIONAL JOURNAL OF MEDICAL ROBOTICS AND COMPUTER ASSISTED SURGERY. ISSN 1478-5951, JUN 2015, vol. 11, no. 2, p. 194-209. [WOS]
--- VYCHODIL, V. Fuzzy inequational logic. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, MAY 2015, vol. 60, p. 23-36. [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]
--- FONT, J.M. Consequence and Degrees of Truth in Many-Valued Logic. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 117-141. [WOS]
--- TAMIR, D.E. - RISHE, N.D. - LAST, M. - KANDEL, A. Soft Computing Based Epidemical Crisis Prediction. INTELLIGENT METHODS FOR CYBER WARFARE. ISSN 1860-949X, 2015, vol. 563, p. 43-67. [WOS]
--- TAMIR, D.E. - LAST, M. - KANDEL, A. The Theory and Applications of Generalized Complex Fuzzy Propositional Logic. SOFT COMPUTING: STATE OF THE ART THEORY AND NOVEL APPLICATIONS. ISSN 1434-9922, 2013, vol. 291, p. 177-192. [WOS]
--- LU, Z.R. - AUGUSTO, J. - LIU, J. - WANG, H. A LINGUISTIC TRUTH-VALUE TEMPORAL REASONING (LTR) SYSTEM AND ITS APPLICATION TO THE DESIGN OF AN INTELLIGENT ENVIRONMENT. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS. ISSN 1875-6891, FEB 2012, vol. 5, no. 1, p. 173-196. [WOS]

Trvalý link: http://hdl.handle.net/11104/0122597