{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:26:40Z","timestamp":1767652000926},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s11225-005-2977-0","type":"journal-article","created":{"date-parts":[[2005,5,23]],"date-time":"2005-05-23T09:51:35Z","timestamp":1116841895000},"page":"231-254","source":"Crossref","is-referenced-by-count":40,"title":["Fuzzy Logic Programming and Fuzzy Control"],"prefix":"10.1007","volume":"79","author":[{"given":"Giangiacomo","family":"Gerla","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2977_CR1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1002\/malq.19870330204","volume":"33","author":"L. Biacino","year":"1987","unstructured":"Biacino, L., and G. Gerla, \u2018Recursively enumerable L-sets\u2019, Zeitschr. f. math. Logik und Grundlagen d. Math., 33:107\u2013113, 1987.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math"},{"key":"2977_CR2","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C.V., and L. M. Pereira, \u2018Hybrid probabilistic logic programs as residuated logic programs\u2019, in G. Brewka and L. M. Pereira, (eds.), Logic in A.I., Proceedings of JELIA\u201900 LNAI 1919, Springer-Verlag, 2000, pp. 57\u201372.","DOI":"10.1007\/3-540-40006-0_5"},{"key":"2977_CR3","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0165-0114(96)00066-8","volume":"84","author":"D. Dubois","year":"1996","unstructured":"Dubois, D., and H. Prade, \u2018What are fuzzy rules and how to use them\u2019, Fuzzy Sets and Systems, 84:169\u2013185, 1996.","journal-title":"Fuzzy Sets and Systems"},{"key":"2977_CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M., \u2018Bilattices and the semantics of logic programming\u2019, Journal of Logic Programming, 11:91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"2977_CR5","unstructured":"Fontana, A., F. Formato, and G. Gerla, Logic Programming and Soft Computing, chapter Fuzzy unification as a foundation of fuzzy logic programming, Research Studies Press, 1998, pp. 51\u201368."},{"key":"2977_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF00372547","volume":"46","author":"G. Gerla","year":"1987","unstructured":"Gerla, G., \u2018Decidability, partial decidability and sharpness relation for L-subsets\u2019, Studia Logica, 46:227\u2013238, 1987.","journal-title":"Studia Logica"},{"key":"2977_CR7","volume-title":"Fuzzy logic: Mathematical Tools for Approximate Reasoning","author":"G. Gerla","year":"2000","unstructured":"Gerla, G., Fuzzy logic: Mathematical Tools for Approximate Reasoning. Kluwer Academic Publishers, Dordrecht, The Netherlands, 2000."},{"key":"2977_CR8","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/S0165-0114(00)00124-X","volume":"121","author":"G. Gerla","year":"2001","unstructured":"Gerla, G., \u2018Fuzzy control as a fuzzy deduction system\u2019, Fuzzy Sets and Systems, 121:409\u2013425, 2001.","journal-title":"Fuzzy Sets and Systems"},{"key":"2977_CR9","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., \u2018The logic of inexact concepts\u2019, in D. Dubois, H. Prade, and R.R. Yager, (eds.), eadings in Fuzzy Sets for Intelligent Systems, Kaufmann, San Mateo, CA, 1993, pp. 417\u2013441.","DOI":"10.1016\/B978-1-4832-1450-4.50048-1"},{"key":"2977_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic","author":"P. H\u00e1jek","year":"August 1998","unstructured":"H\u00e1jek, P., Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic, Kluwer Academic Publishers, Dordrecht, August 1998."},{"key":"2977_CR11","unstructured":"Klir, G. J., and B. Yuan, Fuzzy sets and fuzzy logic: theory and applications, Prentice-Hall, Inc., 1995."},{"key":"2977_CR12","first-page":"1182","volume":"26","author":"E. Mamdani","year":"1977","unstructured":"Mamdani, E., \u2018Application of fuzzy logic to approximate reasoning using linguistic systems\u2019, Fuzzy Sets and Systems, 26:1182\u20131191, 1977.","journal-title":"Fuzzy Sets and Systems"},{"key":"2977_CR13","doi-asserted-by":"crossref","unstructured":"Medina, J., M. Ojeda-Aciego, and P. Vojt\u00e1\u0161, \u2018Multi-adjoint logic programming with continuous semantics\u2019, in Lecture Notes in Computer Science, volume 2173, 2001, pp. 351\u2013364.","DOI":"10.1007\/3-540-45402-0_26"},{"key":"2977_CR14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J., \u2018On fuzzy logic I: Many-valued rules of inference\u2019, Zeitschr. f. math.Logik und Grundlagen d. Math., 25:45\u201352, 1979.","journal-title":"Zeitschr. f. math.Logik und Grundlagen d. Math"},{"key":"2977_CR15","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J., \u2018On fuzzy logic II: Enriched residuated lattices and semantics of propositional calculi\u2019, eitschr. f. math. Logik und Grundlagen d. Math., 25:119\u2013134, 1979.","journal-title":"eitschr. f. math. Logik und Grundlagen d. Math"},{"key":"2977_CR16","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1002\/malq.19790252510","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J., \u2018On fuzzy logic III: Semantical completeness of some many-valued propositional calculi\u2019, Zeitschr. f. math. Logik und Grundlagen d. Math., 25:447\u2013464, 1979.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math"},{"key":"2977_CR17","unstructured":"Vojt\u00e1\u0161, P., \u2018Many valued logic programming handling uncertainty in A.I.\u2019, in Proceedings of LACS, Warsawa, 1966."},{"key":"2977_CR18","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P. Vojt\u00e1\u0161","year":"2001","unstructured":"Vojt\u00e1\u0161, P., \u2018Fuzzy logic programming\u2019, Fuzzy Sets and Systems, 124:361\u2013370, 2001.","journal-title":"Fuzzy Sets and Systems"},{"key":"2977_CR19","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00485052","volume":"30","author":"L. A. Zadeh","year":"1965","unstructured":"Zadeh, L. A., \u2018Fuzzy logic and approximate reasoning\u2019, Synthese, 30:407\u2013428, 1965.","journal-title":"Synthese"},{"key":"2977_CR20","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"3","author":"L. A. Zadeh","year":"1965","unstructured":"Zadeh, L. A., \u2018Fuzzy Sets\u2019, Information and Control, 3:338\u2013353, 1965.","journal-title":"Information and Control"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-2977-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-2977-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-2977-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T11:24:22Z","timestamp":1586258662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-2977-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["2977"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-2977-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}