Rohan French (Monash University)

November 3, 2017, 7:00am - 9:00am
Logic Group, The University of Melbourne

Old Quad
Parkville 3010


Shawn Standefer
University of Melbourne

Topic areas


Rohan French (Monash) will present "Metainferences" at 11 in Old Quad G10.


Metainferences have recently come into focus as a useful way of distinguishing between, and arguing for or against, various substructural resolutions to the semantic paradoxes. In this talk we will take a systematic look at some issues to do with metainferences, treating metainferences themselves as first-class logical citizens. In particular we will look at a proof system in which rules act on metasequents (which relate sets of sequents to sequents), rather than simply sequents (which relate sets of formulas to formulas), and use it to prove a translation result connecting the metainferences validated by non-reflexive and non-transitive logics with validity in well known paraconsistent and paracomplete logics.

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.