{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:39:13Z","timestamp":1759333153848},"reference-count":7,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5755,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1993,6]]},"abstract":"<jats:p>This paper gives some sufficient conditions for admissible rules to be derivable in intuitionistic propositional calculus. For example, if the premises are Harrop formulas, the rule is admissible only if it is derivable.<\/jats:p><jats:p>In deriving the results, a particular class of substitutes is introduced, which are also useful when dealing with other questions of admissibility.<\/jats:p>","DOI":"10.1017\/s0960129500000165","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:01:47Z","timestamp":1236157307000},"page":"129-136","source":"Crossref","is-referenced-by-count":11,"title":["Admissible and derivable rules in intuitionistic logic"],"prefix":"10.1017","volume":"3","author":[{"given":"Paul","family":"Rozi\u00e8re","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000165_ref007","article-title":"Constructivism in Mathematics, an introduction","volume":"121","author":"Troelsta","year":"1988","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"S0960129500000165_ref006","article-title":"Decidability of admissibility in the modal system Grz and in intuitionistic logic","volume":"50","author":"Rybakov","year":"1986","journal-title":"Izv. Akad. Nauf. SSSR, ser. Mat"},{"key":"S0960129500000165_ref002","first-page":"85","article-title":"Derivability of admissible rules","volume":"32","author":"Mints","year":"1972","journal-title":"Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI)"},{"key":"S0960129500000165_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/BF01978706"},{"key":"S0960129500000165_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01982031"},{"key":"S0960129500000165_ref001","doi-asserted-by":"publisher","DOI":"10.2307\/2271891"},{"key":"S0960129500000165_ref003","volume-title":"R\u00e8gies admissibles en calcul propositionnel intuitionniste","author":"Rozi\u00e8re","year":"1991"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:50:21Z","timestamp":1557960621000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000165\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["S0960129500000165"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000165","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}