乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:24:22Z","timestamp":1720625062470},"reference-count":31,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["689176"],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"MINECO","doi-asserted-by":"publisher","award":["RASO TIN2015-71799-C2-1-P"],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002924","name":"FEDER","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002924","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002809","name":"Generalitat de Catalunya","doi-asserted-by":"publisher","award":["2014SGR-118"],"id":[{"id":"10.13039\/501100002809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Logic"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1016\/j.jal.2016.11.002","type":"journal-article","created":{"date-parts":[[2016,11,10]],"date-time":"2016-11-10T05:32:06Z","timestamp":1478755926000},"page":"3-15","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["On the existence of free models in fuzzy universal Horn classes"],"prefix":"10.1016","volume":"23","author":[{"given":"Vicent","family":"Costa","sequence":"first","affiliation":[]},{"given":"Pilar","family":"Dellunde","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jal.2016.11.002_br0010","series-title":"Category Theory for Computing Science","author":"Barr","year":"1995"},{"key":"10.1016\/j.jal.2016.11.002_br0020","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00153-005-0287-x","article-title":"Fuzzy horn logic I","volume":"45","author":"B\u011blohl\u00e1vek","year":"2006","journal-title":"Arch. Math. Log."},{"key":"10.1016\/j.jal.2016.11.002_br0030","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s00153-005-0303-1","article-title":"Fuzzy horn logic II","volume":"45","author":"B\u011blohl\u00e1vek","year":"2006","journal-title":"Arch. Math. Log."},{"key":"10.1016\/j.jal.2016.11.002_br0040","first-page":"1","article-title":"Fuzzy Equational Logic","volume":"vol. 186","author":"B\u011blohl\u00e1vek","year":"2005"},{"issue":"8","key":"10.1016\/j.jal.2016.11.002_br0050","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1007\/s00153-003-0188-9","article-title":"Birkhoff variety theorem and fuzzy logic","volume":"42","author":"B\u011blohl\u00e1vek","year":"2003","journal-title":"Arch. Math. Log."},{"issue":"1","key":"10.1016\/j.jal.2016.11.002_br0060","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s001530200006","article-title":"Fuzzy equational logic","volume":"41","author":"B\u011blohl\u00e1vek","year":"2002","journal-title":"Arch. Math. Log."},{"key":"10.1016\/j.jal.2016.11.002_br0070","series-title":"Logic for Programming, Artificial Intelligence, and Reasoning \u2013 19th International Conference","first-page":"584","article-title":"Herbrand theorems for substructural logics","volume":"vol. 8312","author":"Cintula","year":"2013"},{"key":"10.1016\/j.jal.2016.11.002_br0080","series-title":"Handbook of Mathematical Fuzzy Logic","volume":"vol. 38","year":"2011"},{"key":"10.1016\/j.jal.2016.11.002_br0090","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.fss.2009.09.006","article-title":"Triangular norm based predicate fuzzy logics","volume":"161","author":"Cintula","year":"2010","journal-title":"Fuzzy Sets Syst."},{"issue":"3","key":"10.1016\/j.jal.2016.11.002_br0100","doi-asserted-by":"crossref","first-page":"863","DOI":"10.2178\/jsl\/1154698581","article-title":"On theories and models in predicate fuzzy logics","volume":"71","author":"Cintula","year":"2006","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.jal.2016.11.002_br0110","series-title":"Artificial Intelligence Research and Development \u2013 Proceedings of the 18th International Conference of the Catalan Association for Artificial Intelligence. Frontiers in Artificial Intelligence and Applications","first-page":"49","article-title":"On free models for Horn clauses over predicate fuzzy logics","volume":"vol. 277","author":"Costa","year":"2015"},{"key":"10.1016\/j.jal.2016.11.002_br0120","doi-asserted-by":"crossref","DOI":"10.1093\/jigpal\/jzw009","article-title":"L\u00f6wenheim\u2013Skolem theorems for non-classical first-order algebraizable logics","author":"Dellunde","year":"2016","journal-title":"Log. J. IGPL"},{"issue":"6","key":"10.1016\/j.jal.2016.11.002_br0130","doi-asserted-by":"crossref","first-page":"1367","DOI":"10.1093\/logcom\/exr019","article-title":"Preserving mappings in predicate fuzzy logics","volume":"22","author":"Dellunde","year":"2012","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.jal.2016.11.002_br0140","series-title":"A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming","year":"2010"},{"key":"10.1016\/j.jal.2016.11.002_br0150","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0165-0114(96)00066-8","article-title":"What are fuzzy rules and how to use them","volume":"84","author":"Dubois","year":"1996","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.jal.2016.11.002_br0160","series-title":"Mathematical Logic","author":"Ebbinghaus","year":"1994"},{"key":"10.1016\/j.jal.2016.11.002_br0170","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0165-0114(98)00300-5","article-title":"Fuzzy logic programming","volume":"117","author":"Ebrahim","year":"2001","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.jal.2016.11.002_br0180","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","article-title":"Monoidal t-norm based logic: towards a logic for left-continuous t-norms","volume":"124","author":"Esteva","year":"2001","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"10.1016\/j.jal.2016.11.002_br0190","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/s11225-005-2977-0","article-title":"Fuzzy logic programming and fuzzy control","volume":"79","author":"Gerla","year":"2005","journal-title":"Stud. Log."},{"issue":"3","key":"10.1016\/j.jal.2016.11.002_br0200","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/S0165-0114(00)00124-X","article-title":"Fuzzy control as a fuzzy deduction system","volume":"121","author":"Gerla","year":"2001","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.jal.2016.11.002_br0210","article-title":"Fuzzy Logic: Mathematical Tools for Approximate Reasoning","volume":"vol. 11","author":"Gerla","year":"2001"},{"key":"10.1016\/j.jal.2016.11.002_br0220","series-title":"Proceedings of the Conference on Computer Graphics, Pattern Recognition and Data Structures","first-page":"89","article-title":"Abstract data types as initial algebras and the correctness of data representations","author":"Goguen","year":"1975"},{"key":"10.1016\/j.jal.2016.11.002_br0230","article-title":"Metamathematics of Fuzzy Logic","volume":"vol. 4","author":"H\u00e1jek","year":"1998"},{"key":"10.1016\/j.jal.2016.11.002_br0240","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming: Logical Foundations, vol. 1","first-page":"449","article-title":"Logical features of Horn logic","author":"Hodges","year":"1993"},{"issue":"2","key":"10.1016\/j.jal.2016.11.002_br0250","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","article-title":"A proof of standard completeness for Esteva and Godo's logic MTL","volume":"70","author":"Jenei","year":"2002","journal-title":"Stud. Log."},{"key":"10.1016\/j.jal.2016.11.002_br0270","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/0022-0000(87)90027-4","article-title":"Why Horn formulas matter in computer science: initial structures and generic examples","volume":"34","author":"Makowsky","year":"1987","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.jal.2016.11.002_br0280","series-title":"Monografies de l'IIIA, vol. 9","article-title":"Proof procedures for multiple-valued propositional logics","author":"Many\u00e0","year":"1999"},{"issue":"3","key":"10.1016\/j.jal.2016.11.002_br0260","doi-asserted-by":"crossref","first-page":"61","DOI":"10.2307\/2268172","article-title":"The decision problem for some classes of sentences without quantifiers","volume":"8","author":"McKinsey","year":"1943","journal-title":"J. Symb. Log."},{"issue":"4","key":"10.1016\/j.jal.2016.11.002_br0290","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1093\/jigpal\/jzi034","article-title":"On some varieties of MTL-algebras","volume":"3","author":"Noguera","year":"2005","journal-title":"Log. J. IGPL"},{"key":"10.1016\/j.jal.2016.11.002_br0300","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","article-title":"Fuzzy logic programming","volume":"124","author":"Vojt\u00e1\u0161","year":"2001","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.jal.2016.11.002_br0310","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/j.fss.2014.07.014","article-title":"Pseudovarieties of algebras with fuzzy equalities","volume":"260","author":"Vychodil","year":"2015","journal-title":"Fuzzy Sets Syst."}],"container-title":["Journal of Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868316300568?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868316300568?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T22:25:20Z","timestamp":1636064720000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570868316300568"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":31,"alternative-id":["S1570868316300568"],"URL":"https:\/\/doi.org\/10.1016\/j.jal.2016.11.002","relation":{},"ISSN":["1570-8683"],"issn-type":[{"value":"1570-8683","type":"print"}],"subject":[],"published":{"date-parts":[[2017,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On the existence of free models in fuzzy universal Horn classes","name":"articletitle","label":"Article Title"},{"value":"Journal of Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jal.2016.11.002","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}