{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:42:19Z","timestamp":1649205739209},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2005,10,1]],"date-time":"2005-10-01T00:00:00Z","timestamp":1128124800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2005,10]]},"DOI":"10.1007\/s10992-005-2831-x","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T07:56:17Z","timestamp":1132041377000},"page":"607-620","source":"Crossref","is-referenced-by-count":7,"title":["Types of $\\mathsf{I}$ -Free Hereditary Right Maximal Terms"],"prefix":"10.1007","volume":"34","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12831_CR1","first-page":"388","volume":"25","author":"A. R. Anderson","year":"1960","unstructured":"Anderson, A. R. (1960) Entailment shorn of modality (abstract), J. Symbolic Logic 25, 388.","journal-title":"J. Symbolic Logic"},{"key":"12831_CR2","volume-title":"Entailment. The Logic of Relevance and Necessity, Vol. I","author":"A. R. Anderson","year":"1975","unstructured":"Anderson, A. R. and Belnap, N. D. (1975) Entailment. The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ."},{"key":"12831_CR3","volume-title":"Entailment. The Logic of Relevance and Necessity, Vol. II","author":"A. R. Anderson","year":"1992","unstructured":"Anderson, A. R., Belnap, N. D. and Dunn, J. M. (1992) Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ."},{"key":"12831_CR4","volume-title":"Foundations of Mathematical Logic","author":"H. B. Curry","year":"1963","unstructured":"Curry, H. B. (1963) Foundations of Mathematical Logic, McGraw-Hill Book Company, New York."},{"key":"12831_CR5","volume-title":"Combinatory Logic, Vol. I","author":"H. B. Curry","year":"1958","unstructured":"Curry, H. B. and Feys, R. (1958) Combinatory Logic, Vol. I, 1st edn, North-Holland, Amsterdam.","edition":"1"},{"key":"12831_CR6","volume-title":"Combinatory Logic, Vol. II","author":"H. B. Curry","year":"1972","unstructured":"Curry, H. B., Hindley, J. R. and Seldin, J. P. (1972) Combinatory Logic, Vol. II, North-Holland, Amsterdam."},{"key":"12831_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic, Vol. 3","author":"J. M. Dunn","year":"1986","unstructured":"Dunn, J. M. (1986) Relevance logic and entailment, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 3, Reidel, Dordrecht, pp. 117\u2013229."},{"key":"12831_CR8","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"2001","unstructured":"Enderton, H. B. (2001) A Mathematical Introduction to Logic, 2nd edn, Harcourt\u2013Academic Press, Burlington, MA.","edition":"2"},{"key":"12831_CR9","unstructured":"Helman, G. H. (1977) Restricted lambda abstraction and the interpretation of some nonclassical logics, Ph.D. thesis, University of Pittsburgh."},{"key":"12831_CR10","volume-title":"Introduction to Combinators and \u03bb-Calculus","author":"J. R. Hindley","year":"1986","unstructured":"Hindley, J. R. and Seldin, J. P. (1986) Introduction to Combinators and \u03bb-Calculus, Cambridge University Press, Cambridge, UK."},{"key":"12831_CR11","series-title":"Cambridge Tracts in Theoret. Comput. Sci.","volume-title":"Term Rewriting Systems","author":"Terese","year":"2003","unstructured":"Terese (2003) Term Rewriting Systems, Cambridge Tracts in Theoret. Comput. Sci. 55, Cambridge University Press, Cambridge, UK."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-2831-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-005-2831-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-2831-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:47Z","timestamp":1559352587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-005-2831-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10]]},"references-count":11,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2005,10]]}},"alternative-id":["12831"],"URL":"https:\/\/doi.org\/10.1007\/s10992-005-2831-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10]]}}}