{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,2]],"date-time":"2023-04-02T23:12:22Z","timestamp":1680477142198},"reference-count":34,"publisher":"Hindawi Limited","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5844,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1002\/(sici)1098-111x(199909)14:9<935::aid-int6>3.0.co;2-e","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T17:04:31Z","timestamp":1030295071000},"page":"935-947","source":"Crossref","is-referenced-by-count":0,"title":["Propositional fuzzy logics: Decidable for some (algebraic) operators; undecidable for more complicated ones"],"prefix":"10.1155","volume":"14","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[]},{"given":"Vladik","family":"Kreinovich","sequence":"additional","affiliation":[]},{"given":"Bernadette","family":"Bouchon-Meunier","sequence":"additional","affiliation":[]}],"member":"98","reference":[{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB1","volume-title":"Mathematical Logic","author":"Schoenfield","year":"1967","unstructured":"Mathematical Logic; Addison-Wesley: Reading, MA, 1967."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB2","volume-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972","unstructured":"A Mathematical Introduction to Logic; Academic Press: New York, 1972."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB3","volume-title":"Handbook of Mathematical Logic","author":"Barwise","year":"1977","unstructured":"Handbook of Mathematical Logic; North-Holland: Amsterdam, 1977."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB4","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"Zadeh","year":"1965","journal-title":"Inform Contr"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB5","first-page":"698","volume-title":"Proc AAAI-93, American Association for Artificial Intelligence 1993 Conf","author":"Elkan","unstructured":"In Proc AAAI-93, American Association for Artificial Intelligence 1993 Conf; pp 698-703."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1142\/S021848859700021X","volume":"5","author":"Gehrke","year":"1997","journal-title":"Internat J Uncertain Fuzziness Knowledge-Based Reasoning"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB7","first-page":"228","volume-title":"Proc Third International Conf on Industrial Fuzzy Control and Intelligent Systems, Dec 1-3, 1993, Houston, TX","author":"Sudarsky","unstructured":"In Proc Third International Conf on Industrial Fuzzy Control and Intelligent Systems, Dec 1-3, 1993, Houston, TX, pp 228-231."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB8","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979","unstructured":"; Computers and Intractability: A Guide to the Theory of NP-Completeness; W. H. Freeman: San Francisco, 1979."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB9","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1002\/(SICI)1098-111X(199605)11:5<295::AID-INT4>3.0.CO;2-J","volume":"11","author":"Nguyen","year":"1996","journal-title":"Int J Intell Syst"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB10","volume-title":"Fuzzy Sets and Fuzzy Logic: Theory and Applications","author":"Klir","year":"1995","unstructured":"; Fuzzy Sets and Fuzzy Logic: Theory and Applications; Prentice-Hall: Upper Saddle River, NJ, 1995."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB11","volume-title":"A First Course in Fuzzy Logic","author":"Nguyen","year":"1996","unstructured":"; A First Course in Fuzzy Logic; CRC Press: Boca Raton, FL, 1996."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB12","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/S0020-7373(76)80003-X","volume":"8","author":"Giles","year":"1976","journal-title":"Int J Man-Machine Stud"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB13","first-page":"276","volume-title":"Progress in Cybernetics and Systems Research","volume":"3","author":"Hamacher","year":"1975","unstructured":"In Progress in Cybernetics and Systems Research; ; ; Eds. Hemisphere: New York, 1975; vol. 3, pp 276-287."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB14","volume-title":"Uber Logische Aggregationen Nicht-Binar Expliziter Entscheidungskrieten","author":"Hamacher","year":"1978","unstructured":"Uber Logische Aggregationen Nicht-Binar Expliziter Entscheidungskrieten; Rita G. Fischer Verlag: Frankfurt\/Main, 1978."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB15","volume-title":"Fuzzy Sets and Systems: Theory and Applications","author":"Dubois","year":"1980","unstructured":"; Fuzzy Sets and Systems: Theory and Applications; Academic Press: New York, 1980."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-1-4684-3848-2_6","volume-title":"Fuzzy Sets: Theory and Applications to Policy Analysis and Information Systems","author":"Dubois","year":"1980","unstructured":"; In Fuzzy Sets: Theory and Applications to Policy Analysis and Information Systems; ; Eds.; Plenum Press: New York, 1980, pp 59-75."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB17","first-page":"235","volume":"4","author":"Yager","year":"1980","journal-title":"Int J Gen Syst"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0165-0114(82)90005-7","volume":"8","author":"Dombi","year":"1982","journal-title":"Fuzzy Sets Syst"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB19","doi-asserted-by":"crossref","first-page":"169","DOI":"10.5486\/PMD.1961.8.1-2.16","volume":"8","author":"Schweizer","year":"1961","journal-title":"Publ Math Debrecen"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB20","volume-title":"Fuzzy Sets, Uncertainty and Information","author":"Klir","year":"1988","unstructured":"; Fuzzy Sets, Uncertainty and Information; Prentice-Hall: Englewood Cliffs, NJ, 1988."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB21","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/TSMC.1973.5408575","volume":"3","author":"Zadeh","year":"1973","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB22","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951","unstructured":"A Decision Method for Elementary Algebra and Geometry, 2nd ed.; Berkeley, 1951."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB23","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2307\/1969640","volume":"60","author":"Seidenberg","year":"1954","journal-title":"Ann Math"},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0147-9","volume-title":"Geometrical Methods in the Theory of Ordinary Differential Equations","author":"Arnold","year":"1983","unstructured":"Geometrical Methods in the Theory of Ordinary Differential Equations; Springer-Verlag: New York, 1983."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB25","volume-title":"Foundations of Constructive Analysis","author":"Bishop","year":"1967","unstructured":"Foundations of Constructive Analysis; McGraw-Hill: New York, 1967."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB26","volume-title":"Constructive Functional Analysis","author":"Bridges","year":"1979","unstructured":"Constructive Functional Analysis; Pitman: London, 1979."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB27","volume-title":"Lectures on Constructive Mathematical Analysis, Translations of Mathematical Monographs","volume":"60","author":"Kushner","year":"1984","unstructured":"Lectures on Constructive Mathematical Analysis, Translations of Mathematical Monographs, Vol. 60, Am Math Soc: Providence, RI, 1984."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"Beeson","year":"1985","unstructured":"Foundations of Constructive Mathematics; Springer-Verlag: New York, 1985."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"Bishop","year":"1985","unstructured":"; Constructive Analysis; Springer-Verlag: New York, 1985."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB30","volume-title":"Precise Numerical Analysis","author":"Aberth","year":"1988","unstructured":"Precise Numerical Analysis; Wm. C. Brown Publishers: Dubuque, IA, 1988."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB31","volume-title":"Elements of the Theory of Computation","author":"Lewis","year":"1981","unstructured":"; Elements of the Theory of Computation; Prentice-Hall: Englewood Cliffs, NJ, 1981."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB32","volume-title":"Introduction to Languages and the Theory of Computation","author":"Martin","year":"1991","unstructured":"Introduction to Languages and the Theory of Computation; McGraw-Hill: New York, 1991."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB33","volume-title":"Computational Complexity","author":"Papadimitriou","year":"1994","unstructured":"Computational Complexity; Addison Wesley: San Diego, 1994."},{"key":"10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E-BIB34","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"Davenport","year":"1988","journal-title":"J Sym Comput"}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1098-111X(199909)14:9%3C935::AID-INT6%3E3.0.CO;2-E","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1098-111X(199909)14:9%3C935::AID-INT6%3E3.0.CO;2-E","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,2]],"date-time":"2023-04-02T22:56:03Z","timestamp":1680476163000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1098-111X(199909)14:9<935::AID-INT6>3.0.CO;2-E"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":34,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1999,9]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1098-111x(199909)14:9<935::aid-int6>3.0.co;2-e","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}