MetainferencesRohan French (Monash University)
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.
Who is attending?
No one has said they will attend yet.
Will you attend this event?