Logic at Melbourne

Research and teaching in logic and its applications

Recent work by Melbourne logicians

This instalment of “Recent work” features a book by Lloyd Humberstone and two articles on paradoxes by Rohan French and Shawn Standefer. The publisher’s page for Humberstone’s book includes a link to the table of contents, which looks exciting.

Both the articles are in open access journals, so anyone can download the published pdfs for free via the links above.

Several locals will also be presenting at the AAL next week.


Logic videos

A few weeks ago, Dan Murfet (Melbourne) gave a talk on linear logic and complexity, which was a follow up on his December talk. He has recently made a nice screencast of the talk. It gets into some work on subsystems of linear logic, particularly the work on stratifications of linear logic by Baillot and Mazza.

For the beginner in logic, Greg Restall has some short clips of logic lectures available on Vimeo: Intro Logic, Advanced Logic, and Modal and Non-Classical Logic.


Recent work by Melbourne logicians

This instalment of “Recent work” comprises work by Lloyd Humberstone (Monash), Shawn Standefer (Melbourne), Jake Chandler (La Trobe), and Greg Restall (Melbourne).  Some of these papers are not yet online, but preprints are available.

Details for Chandler’s articles will be added when they appear online. The links for those papers are to preprints.

Update: Restall’s paper is in print. The co-authored paper by Chandler is online now.

Recent work by Melbourne logicians

There are frequent logic talks in Melbourne. Melbourne logicians also publish a fair bit. We’ve got a record of talks, both by locals and visitors, but nothing about recent work by locals. To rectify this, I’m going to do a series of semi-regular posts to highlight newly published work by members of the Logic Seminar.

The first instalment comprises papers by Karen Green (Melbourne), Lloyd Humberstone (Monash), and Daniel Murfet (Melbourne).


Greg and I will be teaching a week-long course at NASSLLI 2016 at Rutgers University, July 9-16. The course is titled “Proof Theory: Logical and Philosophical Aspects”. We’ll be covering cut elimination, some substructural logics, and hypersequents, with a bit of inferentialism and bilateralism mixed in. It should be fun. I’ll put more details up closer to the dates.

Number of posts found: 20