{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T04:32:29Z","timestamp":1719808349455},"reference-count":18,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2009,5,1]],"date-time":"2009-05-01T00:00:00Z","timestamp":1241136000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":1574,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1016\/j.apal.2008.10.005","type":"journal-article","created":{"date-parts":[[2008,12,7]],"date-time":"2008-12-07T10:22:00Z","timestamp":1228645320000},"page":"1-48","source":"Crossref","is-referenced-by-count":14,"title":["Substitution Frege and extended Frege proof systems in non-classical logics"],"prefix":"10.1016","volume":"159","author":[{"given":"Emil","family":"Je\u0159\u00e1bek","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.apal.2008.10.005_b1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02579196","article-title":"The monotone circuit complexity of Boolean functions","volume":"7","author":"Alon","year":"1987","journal-title":"Combinatorica"},{"issue":"4","key":"10.1016\/j.apal.2008.10.005_b2","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1016\/S0022-0000(02)00020-X","article-title":"Monotone simulations of non-monotone proofs","volume":"65","author":"Atserias","year":"2002","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/j.apal.2008.10.005_b3","volume":"vol. 53","author":"Blackburn","year":"2001"},{"key":"10.1016\/j.apal.2008.10.005_b4","doi-asserted-by":"crossref","first-page":"916","DOI":"10.2307\/2273826","article-title":"Polynomial size proofs of the propositional pigeonhole principle","volume":"52","author":"Buss","year":"1987","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/j.apal.2008.10.005_b5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/S0168-0072(99)00002-0","article-title":"The complexity of the disjunction and existential properties in intuitionistic logic","volume":"99","author":"Buss","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1\u20132","key":"10.1016\/j.apal.2008.10.005_b6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0168-0072(01)00040-9","article-title":"On the computational content of intuitionistic propositional proofs","volume":"109","author":"Buss","year":"2001","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/j.apal.2008.10.005_b7","volume":"vol. 35","author":"Chagrov","year":"1997"},{"issue":"1","key":"10.1016\/j.apal.2008.10.005_b8","doi-asserted-by":"crossref","first-page":"36","DOI":"10.2307\/2273702","article-title":"The relative efficiency of propositional proof systems","volume":"44","author":"Cook","year":"1979","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"10.1016\/j.apal.2008.10.005_b9","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/1071596.1071598","article-title":"On the complexity of the disjunction property in intuitionistic and modal logics","volume":"6","author":"Ferrari","year":"2005","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"10.1016\/j.apal.2008.10.005_b10","doi-asserted-by":"crossref","first-page":"941","DOI":"10.2178\/jsl\/1191333849","article-title":"Lower bounds for modal logics","volume":"72","author":"Hrube\u0161","year":"2007","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"10.1016\/j.apal.2008.10.005_b11","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/j.apal.2007.01.001","article-title":"A lower bound for intuitionistic logic","volume":"146","author":"Hrube\u0161","year":"2007","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/j.apal.2008.10.005_b12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2003.12.003","article-title":"Dual weak pigeonhole principle, Boolean complexity, and derandomization","volume":"129","author":"Je\u0159\u00e1bek","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"10.1016\/j.apal.2008.10.005_b13","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/logcom\/exi029","article-title":"Admissible rules of modal logics","volume":"15","author":"Je\u0159\u00e1bek","year":"2005","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/j.apal.2008.10.005_b14","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1016\/j.apal.2006.04.001","article-title":"Frege systems for extensible modal logics","volume":"142","author":"Je\u0159\u00e1bek","year":"2006","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/j.apal.2008.10.005_b15","volume":"vol. 60","author":"Kraj\u00ed\u010dek","year":"1995"},{"key":"10.1016\/j.apal.2008.10.005_b16","first-page":"129","article-title":"Intuitionistic Frege systems are polynomially equivalent","volume":"316","author":"Mints","year":"2004","journal-title":"Zapiski Nauchnyh Seminarov POMI"},{"key":"10.1016\/j.apal.2008.10.005_b17","unstructured":"K. Segerberg, An essay in classical modal logic, Filosofiska studier, vol. 13, Uppsala universitet, 1971"},{"issue":"2","key":"10.1016\/j.apal.2008.10.005_b18","doi-asserted-by":"crossref","first-page":"421","DOI":"10.2307\/2275669","article-title":"Canonical formulas for K4. Part II: Cofinal subframe logics","volume":"61","author":"Zakharyaschev","year":"1996","journal-title":"Journal of Symbolic Logic"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007208001784?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007208001784?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,23]],"date-time":"2018-12-23T21:24:02Z","timestamp":1545600242000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007208001784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":18,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["S0168007208001784"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2008.10.005","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}