{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:37:18Z","timestamp":1740141438352,"version":"3.37.3"},"reference-count":22,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T00:00:00Z","timestamp":1657756800000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,27]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>John Crossley settled in Australia in 1968 having been a graduate student and later University Lecturer at Oxford. This is a brief account of his logical career. It is a revised version of a webcast talk for World Logic Day on 14 January 2022.<\/jats:p>","DOI":"10.1093\/jigpal\/jzac057","type":"journal-article","created":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T15:40:53Z","timestamp":1657813253000},"page":"1010-1022","source":"Crossref","is-referenced-by-count":0,"title":["What is mathematical logic? An Australian odyssey"],"prefix":"10.1093","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2185-0835","authenticated-orcid":false,"given":"John","family":"Newsome Crossley","sequence":"first","affiliation":[{"name":"Faculty of Information Technology, Monash University , Clayton, Victoria 3800, Australia"}]}],"member":"286","published-online":{"date-parts":[[2022,7,13]]},"reference":[{"volume-title":"Models and Ultraproducts: An Introduction","year":"1969","author":"Bell","key":"2023112820205282300_ref1"},{"key":"2023112820205282300_ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107051126","article-title":"Cambridge Studies in Medieval Literature 70","volume-title":"The Book of Memory: A Study of Memory in Medieval Culture","author":"Carruthers","year":"2008"},{"key":"2023112820205282300_ref3","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","article-title":"The independence of the continuum hypothesis","volume":"50","author":"Cohen","year":"1963","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"2023112820205282300_ref4","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF02380181","article-title":"Crossley on mathematical logic","volume":"8","author":"Corcoran","year":"1978","journal-title":"Philosophia"},{"volume-title":"A New Introduction to Modal Logic","year":"1996","author":"Cresswell","key":"2023112820205282300_ref5"},{"volume-title":"Constructive Order Types","year":"1969","author":"Crossley","key":"2023112820205282300_ref6"},{"key":"2023112820205282300_ref7","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0062849","volume-title":"Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia","author":"Crossley","year":"1975"},{"volume-title":"Aspects of Effective Algebra. U.D.A","year":"1981","author":"Crossley","key":"2023112820205282300_ref8"},{"key":"2023112820205282300_ref9","first-page":"234","article-title":"Samsara","volume-title":"Mathematical Problems From Applied Logic. New Logics for XXI Century","author":"Crossley","year":"2005"},{"year":"1972","author":"Crossley","key":"2023112820205282300_ref10"},{"key":"2023112820205282300_ref11","first-page":"11","article-title":"The logic of \u201cActually\u201d","volume":"8","author":"Crossley","year":"1977","journal-title":"Reports on Mathematical Logic"},{"key":"2023112820205282300_ref12","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-1-4612-0325-4_8","article-title":"Extracting programs from proofs by an extension of the Curry\u2013Howard process","volume-title":"Logical Methods: In Honor of Anil Nerode\u2019s Sixtieth Birthday","author":"Crossley","year":"1993"},{"key":"2023112820205282300_ref13","first-page":"553","article-title":"Logics modulo theories: a logical framework for multi-agent systems","volume":"23","author":"Cruz","year":"2015","journal-title":"Logic Journal of the IGPL (International Group for Programming Languages)"},{"key":"2023112820205282300_ref14","first-page":"67","article-title":"Recursive Equivalence Types","volume":"3","author":"Dekker","year":"1960","journal-title":"University of California Publications in Mathematics (NS)"},{"key":"2023112820205282300_ref15","first-page":"407","article-title":"Effective procedures in field theory","volume-title":"Philosophical Transactions of the Royal Society of London","author":"Fr\u00f6hlich","year":"1955"},{"volume-title":"Proofs and Types","year":"1989","author":"Girard","key":"2023112820205282300_ref16"},{"key":"2023112820205282300_ref17","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02985373","article-title":"Solving Wigner\u2019s mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences","volume":"30","author":"Grattan-Guinness","year":"2008","journal-title":"The Mathematical Intelligencer"},{"article-title":"Recherches sur la th\u00e9orie de la d\u00e9monstration","volume-title":"Number 33 in Travaux de la Soci\u00e9t\u00e9 des sciences et des lettres de Varsovie. Nakl\u0142adem towarzystwa Naukowego Warszawskiego z zasi\u0142ku ministerstwa wysna\u0144 religijnych i o\u015bwiecenia publicznego, Warsaw, 1930. (Herbrand\u2019s PhD thesis at the University of Paris)","author":"Herbrand","key":"2023112820205282300_ref18"},{"key":"2023112820205282300_ref19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations: The Logic of Mathematical Discovery. Edited by John Worrall and Elie Zahar","author":"Lakatos","year":"1976"},{"volume-title":"Adapting Proofs-as-Programs","year":"2005","author":"Poernomo","key":"2023112820205282300_ref20"},{"key":"2023112820205282300_ref21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"Journal of the ACM"},{"key":"2023112820205282300_ref22","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1147\/rd.41.0002","article-title":"Toward mechanical mathematics","volume":"4","author":"Wang","year":"1960","journal-title":"IBM Journal of Research and Development"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/6\/1010\/53895897\/jzac057.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/6\/1010\/53895897\/jzac057.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T20:21:06Z","timestamp":1701202866000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/31\/6\/1010\/6634259"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,13]]},"references-count":22,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,7,13]]},"published-print":{"date-parts":[[2023,11,27]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzac057","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2023,12]]},"published":{"date-parts":[[2022,7,13]]}}}