{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T06:24:44Z","timestamp":1747290284056},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0028112","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:50:00Z","timestamp":1132638600000},"page":"269-278","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing multiple-valued logics as institutions"],"prefix":"10.1007","author":[{"given":"J.","family":"Agust\u00ed-Cullell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ll","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"AGUSTI-CULLEL J., SIERRA C. (1989) \u2018Adding Generic Modules to Flat Rule-Based Languages: a low cost approach'. Methodologies for Intelligent Systems, pp. 43\u201352, North Holland."},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0022-247X(83)90216-0","volume":"93","author":"C. Alsina","year":"1983","unstructured":"ALSINA C., TRILLAS E., VALVERDE L. (1983) \u2018On some logical connectives for Fuzzy Set Theory'. Journal of Mathematical Analysis and Applications, 93, pp. 15\u201326.","journal-title":"Journal of Mathematical Analysis and Applications"},{"issue":"1","key":"29_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0165-0114(89)90176-0","volume":"30","author":"P. Garcia","year":"1989","unstructured":"GARCIA P., VALVERDE L. (1989) \u2018Isomorphisms between De Morgan Triplets\u2019 Fuzzy sets and Systems Vol. 30, No 1. pp. 27\u201336. North-Holland","journal-title":"Fuzzy sets and Systems"},{"key":"29_CR4","volume-title":"Contribuci\u00f3 a l'estudi de models d'infer\u00e8ncia en els sistemes possibil\u00edstics","author":"L. Godo","year":"1990","unstructured":"GODO L. (1990) \u2018Contribuci\u00f3 a l'estudi de models d'infer\u00e8ncia en els sistemes possibil\u00edstics', Ph. D. Universitat Polit\u00e8cnica de Catalunya. Barcelona."},{"issue":"4","key":"29_CR5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1002\/int.4550040405","volume":"4","author":"L. Godo","year":"1989","unstructured":"GODO L., LOPEZ DE MANTARAS R., SIERRA C., VERDAGUER A. (1989) \u2018MILORD:The architecture and management of linguistically expressed uncertainty'. Int. Journal of Intelligent System Vol. 4 no 4, pp. 471\u2013501.","journal-title":"Int. Journal of Intelligent System"},{"key":"29_CR6","first-page":"221","volume":"64","author":"J. Goguen","year":"1983","unstructured":"GOGUEN J., BURSTALL R.M. (1983) \u2018Introducing Institutions\u2019 Proc. Workshop on Logics of Programs, Carnegie-Mellon University. Springer LNCS 64, pp. 221\u2013256.","journal-title":"Proc. Workshop on Logics of Programs"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"HARPER R., SANNELLA D., TARLECKI A. (1989) \u2018Structure and Representation in LF\u2019 Proc.4th. IEEE Symposium on Logic of Computer Science.","DOI":"10.1109\/LICS.1989.39177"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"MESEGUER J. (1989) \u2018General Logics'. In H.D. Ebbinghaus et al. (eds) Proc. Logic Colloquium '87. North-Holland.RASIOWA H., (1974) \u2018An algebraic approach to non-classical logics\u2019 North Holland.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"RESCHER N. (1969) \u2018Many-valued Logic\u2019 Mc Graw-Hill.","DOI":"10.1007\/978-94-017-3546-9_6"},{"key":"29_CR10","volume-title":"MILORD: Arquitectura multi-nivell per a sistemes experts en classificaci\u00f3","author":"C. Sierra","year":"1989","unstructured":"SIERRA C. (1989) \u2018MILORD: Arquitectura multi-nivell per a sistemes experts en classificaci\u00f3\u2019 Ph. D. Universitat Polit\u00e8cnica de Catalunya. Barcelona."}],"container-title":["Lecture Notes in Computer Science","Uncertainty in Knowledge Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028112.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:57:55Z","timestamp":1607551075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543465"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0028112","relation":{},"subject":[]}}