{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,28]],"date-time":"2024-07-28T00:06:10Z","timestamp":1722125170456},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,2,1]]},"DOI":"10.1093\/logcom\/exs038","type":"journal-article","created":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T02:36:49Z","timestamp":1346726209000},"page":"57-93","source":"Crossref","is-referenced-by-count":3,"title":["Towards a uniform presentation of logical systems by indexed categories and adjoint situations"],"prefix":"10.1093","volume":"25","author":[{"given":"U.","family":"Wolter","sequence":"first","affiliation":[]},{"given":"A.","family":"Martini","sequence":"additional","affiliation":[]},{"given":"E. H.","family":"Hausler","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2012,9,3]]},"reference":[{"key":"1_29617172","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","year":"1974","journal-title":"ANNALS OF MATHEMATICAL LOGIC"},{"key":"7_29617174","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","year":"1997","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"9_29617175","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","year":"2002","journal-title":"APPLIED CATEGORICAL STRUCTURES"},{"key":"10_43537144","first-page":"144","volume":"3","year":"1997","journal-title":"BULLETIN OF SYMBOLIC LOGIC"},{"key":"13_43537145","first-page":"19","volume":"203","year":"2008","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"18_29617176","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","year":"1992","journal-title":"JOURNAL OF THE ACM"},{"key":"19_29617177","first-page":"274","volume":"12","year":"2002","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"key":"20_43537146","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF01396534","volume":"144","year":"1961","journal-title":"MATEMATISCHE ANNALEN"},{"key":"25_43537147","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF01703261","volume":"2","year":"1968","journal-title":"MATHEMATICAL SYSTEMS THEORY"},{"issue":"5","key":"28_19664908","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"Lawvere","year":"1963","journal-title":"PNAS","ISSN":"http:\/\/id.crossref.org\/issn\/0027-8424","issn-type":"print"},{"key":"29_43537148","first-page":"1","volume":"16","year":"2006","journal-title":"THEORY AND APPLICATION OF CATEGORIES"},{"key":"33_25731927","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0022-4049(96)00007-2","volume":"115","year":"1997","journal-title":"JOURNAL OF PURE AND APPLIED ALGEBRA"},{"issue":"5-6","key":"35_29617170","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1093\/jigpal\/jzm045","volume":"15","year":"2007","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"38_43537150","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1016\/j.jlap.2012.03.006","volume":"81","year":"2012","journal-title":"JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING"},{"key":"39_29617179","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","year":"1991","journal-title":"TCS"},{"key":"40_43537151","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF01696782","volume":"37","year":"1930","journal-title":"MONATSHEFTE FUR MATHEMATIK UND PHYSIK"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/1\/57\/5150064\/exs038.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T17:19:06Z","timestamp":1503508746000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,3]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,1,28]]},"published-print":{"date-parts":[[2015,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs038","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,3]]}}}