{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:55:40Z","timestamp":1777892140750,"version":"3.51.4"},"reference-count":28,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8,1]]},"DOI":"10.1093\/jigpal\/jzx014","type":"journal-article","created":{"date-parts":[[2017,4,29]],"date-time":"2017-04-29T11:07:46Z","timestamp":1493464066000},"page":"524-561","source":"Crossref","is-referenced-by-count":4,"title":["Algebraizable logics and a functorial encoding of its morphisms"],"prefix":"10.1093","volume":"25","author":[{"given":"Darllan","family":"Concei\u00e7\u00e3o Pinto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo","family":"Luiz Mariano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2017,6,22]]},"reference":[{"key":"key\n\t\t\t\t20171012110357_B1","volume-title":"Locally Presentable and Accessible Categories","year":"1994"},{"key":"key\n\t\t\t\t20171012110357_B2","first-page":"1679","article-title":"Fibring and sheaves.","volume":"vol. 5","year":"2005","journal-title":"Proceedings of IICAI-05, Special Session at the 2nd Indian International Conference on Artifial Intelligence"},{"key":"key\n\t\t\t\t20171012110357_B3","article-title":"On the category of algebraizable logics.","volume":"6","year":"2006","journal-title":"CLE e-Prints"},{"key":"key\n\t\t\t\t20171012110357_B4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s11787-006-0002-7","article-title":"A global glance on categories in logic.","volume":"1","year":"2007","journal-title":"Logica Universalis"},{"key":"key\n\t\t\t\t20171012110357_B5","article-title":"Filter functors in logic and applications to categorial analysis of meta-logic properties.","journal-title":"in preparation"},{"key":"key\n\t\t\t\t20171012110357_B6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-7643-7304-0_1","article-title":"From consequence operator to universal logic: a survey of general abstract logic.","volume-title":"Logica Universalis: Towards a General Theory of Logic","year":"2005"},{"key":"key\n\t\t\t\t20171012110357_B7","article-title":"Abstract algebraic logic and the deduction theorem,"},{"key":"key\n\t\t\t\t20171012110357_B8","volume":"vol. 396","year":"1989","journal-title":"Algebraizable Logics"},{"key":"key\n\t\t\t\t20171012110357_B9","first-page":"79","article-title":"Finite algebraizability via possible-translations semantics.","year":"2004","journal-title":"Proceedings of CombLog 04- Workshop on Combination of Logics: Theory and Applications"},{"key":"key\n\t\t\t\t20171012110357_B10","article-title":"Possible-translations algebraizability.","volume-title":"Paraconsistency with no Frontiers","year":"2006"},{"key":"key\n\t\t\t\t20171012110357_B11","year":"1999","journal-title":"A Course in Universal Algebra"},{"key":"key\n\t\t\t\t20171012110357_B12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1022301711366","article-title":"Fibring non-truth-functional logics: completness preservation.","volume":"12","year":"2003","journal-title":"Journal of Logic, Language and Information"},{"key":"key\n\t\t\t\t20171012110357_B13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-3-7643-8354-1_6","article-title":"Equipollent logical systems.","volume-title":"Logica Universalis: Towards a General Theory of Logic","year":"2007"},{"key":"key\n\t\t\t\t20171012110357_B14","first-page":"328","article-title":"Many-valued logics and plausible reasoning.","year":"1990","journal-title":"Proceedings of the XX International Congress on Many-Valued Logics, IEEE Computer Society, University of Charlotte, USA"},{"key":"key\n\t\t\t\t20171012110357_B15","article-title":"Combining logics.","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"key\n\t\t\t\t20171012110357_B16","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF00403332","article-title":"Logical matrices and the amalgaation property.","volume":"41","year":"1982","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20171012110357_B17","volume-title":"Protoalgebraic Logic","year":"2001"},{"key":"key\n\t\t\t\t20171012110357_B18","volume-title":"Institution-independent Model Theory","year":"2000"},{"key":"key\n\t\t\t\t20171012110357_B19","first-page":"93","article-title":"Fibring algebraizable consequence system.","year":"2004","journal-title":"Proceedings of CombLog 04 - Wprkshop on Combination of Logics: Theory and Application"},{"key":"key\n\t\t\t\t20171012110357_B20","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","article-title":"A survey of abstract algebraic logic.","volume":"74","year":"2003","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20171012110357_B21","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","article-title":"Fibred semantics and the weaving of logics: part 1.","volume":"61","year":"1996","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110357_B22","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/A:1005295109904","article-title":"Algebraic characterizations of various beth definability properties.","volume":"65","year":"2000","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20171012110357_B23","first-page":"336","article-title":"Combining algebraizable logics.","volume":"37","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t20171012110357_B24","volume-title":"Categories for the Working Mathematician, Graduate text in Mathematics","year":"1971"},{"key":"key\n\t\t\t\t20171012110357_B25","article-title":"Towards a good notion of categories of logics.","year":"2014"},{"key":"key\n\t\t\t\t20171012110357_B26","article-title":"An abstract approach to glivenko\u2019s theorem."},{"key":"key\n\t\t\t\t20171012110357_B27","article-title":"Representation theory of logics: a categorical approach.","year":"2014"},{"key":"key\n\t\t\t\t20171012110357_B28","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2694931","article-title":"Completeness preservation.","volume":"66","year":"2001","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/25\/4\/524\/19367753\/jzx014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T15:04:02Z","timestamp":1507820642000},"score":1,"resource":{"primary":{"URL":"http:\/\/academic.oup.com\/jigpal\/article\/25\/4\/524\/3884582\/Algebraizable-logics-and-a-functorial-encoding-of"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,22]]},"references-count":28,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2017,6,22]]},"published-print":{"date-parts":[[2017,8,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzx014","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2017,8]]},"published":{"date-parts":[[2017,6,22]]}}}