{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:59:49Z","timestamp":1759147189480,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T00:00:00Z","timestamp":1482105600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["Grant SFRH\/BPD\/93278\/2013","UID\/MAT\/04561\/2013"],"award-info":[{"award-number":["Grant SFRH\/BPD\/93278\/2013","UID\/MAT\/04561\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/CEC\/00408\/2013"],"award-info":[{"award-number":["UID\/CEC\/00408\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s11225-016-9704-x","type":"journal-article","created":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T12:48:47Z","timestamp":1482151727000},"page":"649-664","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Rasiowa\u2013Harrop Disjunction Property"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1447-9764","authenticated-orcid":false,"given":"Gilda","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,19]]},"reference":[{"key":"9704_CR1","first-page":"15","volume":"51","author":"B Dinis","year":"2016","unstructured":"Dinis, B., and G.\u00a0Ferreira, Instantiation overflow, Reports on Mathematical Logic 51:15\u201333, 2016.","journal-title":"Reports on Mathematical Logic"},{"key":"9704_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10992-005-9001-z","volume":"35","author":"F Ferreira","year":"2006","unstructured":"Ferreira, F., Comments on predicative logic, Journal of Philosophical Logic 35:1\u20138, 2006.","journal-title":"Journal of Philosophical Logic"},{"key":"9704_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11225-009-9186-1","volume":"92","author":"F Ferreira","year":"2009","unstructured":"Ferreira, F., and G.\u00a0Ferreira, Commuting conversions vs. the standard conversions of the \u201cgood\u201d connectives, Studia Logica 92:63\u201384, 2009.","journal-title":"Studia Logica"},{"key":"9704_CR4","doi-asserted-by":"crossref","first-page":"260","DOI":"10.2178\/jsl.7801180","volume":"78","author":"F Ferreira","year":"2013","unstructured":"Ferreira, F., and G.\u00a0Ferreira, Atomic polymorphism, The Journal of Symbolic Logic 78:260\u2013274, 2013.","journal-title":"The Journal of Symbolic Logic"},{"issue":"6","key":"9704_CR5","doi-asserted-by":"crossref","first-page":"1303","DOI":"10.1007\/s11225-015-9620-5","volume":"103","author":"F Ferreira","year":"2015","unstructured":"Ferreira, F., and G.\u00a0Ferreira, The faithfulness of $${{\\bf F}}_{{\\bf at}}$$ F at : a proof-theoretic proof, Studia Logica 103(6):1303\u20131311, 2015.","journal-title":"Studia Logica"},{"key":"9704_CR6","doi-asserted-by":"publisher","unstructured":"Ferreira, G., Eta-conversions of $${\\bf IPC} $$ IPC implemented in atomic $${\\bf F}$$ F , To appear in Logic Jnl IGPL, published online July 1, 2016. doi: 10.1093\/jigpal\/jzw035 .","DOI":"10.1093\/jigpal\/jzw035"},{"key":"9704_CR7","volume-title":"Proofs and Types","author":"J-Y Girard","year":"1989","unstructured":"Girard, J.-Y., Y.\u00a0Lafont, and P.\u00a0Taylor, Proofs and Types, Cambridge University Press, 1989."},{"key":"9704_CR8","first-page":"21","volume":"22","author":"P Minari","year":"1988","unstructured":"Minari, P., and A.\u00a0Wronski, The property (HD) in intermediate logics. A partial solution of a problem of H. Ono, Reports on Mathematical Logic 22:21\u201325, 1988.","journal-title":"Reports on Mathematical Logic"},{"key":"9704_CR9","unstructured":"Prawitz, D., Natural Deduction, Almkvist & Wiksell, Stockholm, 1965. Reprinted, with a new preface, in Dover Publications, 2006."},{"key":"9704_CR10","doi-asserted-by":"crossref","unstructured":"Reynolds, J.\u00a0C., Towards a theory of type structure, in B. Robinet (ed.), Lecture Notes in Computer Science, vol. 19, Colloque sur la programmation, Springer, 1974, pp. 408\u2013425.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"9704_CR11","unstructured":"Russell, B., Principles of Mathematics, 2nd edn., George Allen and Unwin, London, 1903 (1937)."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9704-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9704-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9704-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T04:16:12Z","timestamp":1658117772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9704-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,19]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9704"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9704-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2016,12,19]]}}}