{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T09:40:02Z","timestamp":1768729202893,"version":"3.49.0"},"reference-count":11,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2010,12,1]]},"DOI":"10.1093\/jigpal\/jzp057","type":"journal-article","created":{"date-parts":[[2009,10,22]],"date-time":"2009-10-22T00:24:42Z","timestamp":1256171082000},"page":"837-858","source":"Crossref","is-referenced-by-count":17,"title":["Intuitionistic propositional logic with Galois connections"],"prefix":"10.1093","volume":"18","author":[{"given":"W.","family":"Dzik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Jarvinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2009,10,20]]},"reference":[{"key":"2_35817379","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BFb0022251","volume":"933","year":"1995","journal-title":"Lecture Notes in Computer Science","ISSN":"https:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"3_35817380","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","year":"2000","journal-title":"STUDIA LOGICA"},{"key":"7_35817381","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","year":"1995","journal-title":"STUDIA LOGICA"},{"key":"8_38417554","first-page":"103","volume":"704","year":"1993","journal-title":"A PRIMER ON GALOIS CONNECTIONS"},{"key":"9_35817383","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","volume":"51","year":"1986","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"10_35817384","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","year":"1967","ISSN":"https:\/\/id.crossref.org\/issn\/0022-247X","issn-type":"print"},{"key":"12_35817385","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/j.ijar.2008.06.003","volume":"49","year":"2008","journal-title":"INTERNATIONAL JOURNAL OF APPROXIMATE REASONING"},{"key":"13_35817386","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1016\/j.fss.2007.01.011","volume":"158","year":"2007","journal-title":"Fuzzy Sets and Systems","ISSN":"https:\/\/id.crossref.org\/issn\/0165-0114","issn-type":"print"},{"key":"14_29022099","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","year":"1951","journal-title":"AMERICAN JOURNAL OF MATHEMATICS"},{"key":"15_35817387","first-page":"275","volume":"81","year":"2007","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"16_26869495","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","year":"1982","journal-title":"INTERNATIONAL JOURNAL OF COMPUTER AND INFORMATION SCIENCES"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/18\/6\/837\/2396200\/jzp057.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T05:13:07Z","timestamp":1550985187000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzp057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,20]]},"references-count":11,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2010,10,29]]},"published-print":{"date-parts":[[2010,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzp057","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,20]]}}}