CfP special issue of Logic Journal of the IGPL: Festschrift for John N. Crossley

The Logic Journal of the IGPL will publish a special issue in honour of Prof John N. Crossley on the occasion of his 85th birthday. The volume will contain invited contributions by students and collaborators of Prof Crossley in addition to any contributed submission that is found suitable after the appropriate review process. The list of invited authors includes Anil Nerode, Wilfrid Hodges, John Bell, Rod Downey, Rohit Parikh, Martin Wirsing, Lloyd Humberstone, Geoff Sutcliffe and Pimpen Vejjajiva. The issue will welcome submissions in the areas of history of logic, model theory, recursion theory, set theory, modal logic, constraint logic programming, and program extraction, particularly if they are related to Crossley's work.

John Crossley started his career at the University of Oxford as the first university lecturer in mathematical logic in that institution, a position created with the help of Prof Sir Michael Dummett. Some years later, Crossley moved to Monash University (Australia) to become a Professor of Pure Mathematics (and later, Logic). He is the main author of Constructive Order Types (North-Holland, 1969) and has co-authored various books, including Combinatorial Functors (Springer, 1974), Adapting proofs-as-programs: The Curry-Howard Protocol (Springer, 2005) and What is mathematical logic? (OUP, 1972). The latter is a very celebrated text and the first introduction to mathematical logic produced in Australia. He was editor of the Journal of the Australian Mathematical Societyand he has also edited or co-edited half a dozen logic conference proceedings. He was the chair of the Committee for Logic in Australasia of the Association for Symbolic Logic for 16 years, a former president of the Australasian Association for Logic, and one of the creators of the Asian Logic Conference. John Crossley has had several doctoral students who have gone to become very prominent logicians, most famously, Peter Aczel, Wilfrid Hodges, John Bell and Rod Downey. According to the Math Genealogy Project, Crossley has 216 academic descendants, more than any other logician in Australia or New Zealand.

The submission deadline will be 1 June 2022. Please send your manuscript to Jane Spurr (jane at janespurr.net), the executive editor of the journal, with a copy to Guillermo Badia (the guest editor, g.badia at uq.edu.au). The subject line of the e-mail should be "Submission for special issue on JNC of the Logic Journal of the IGPL". The journal submission requirements can be found at: https://academic.oup.com/jigpal/pages/General_Instructions.