Metainferences
Rohan French (Monash University )

November 3, 2017, 11:00am - 1:00pm
Logic Group, The University of Melbourne

G10
Old Quad
Parkville 3010
Australia

Organisers:

Shawn Standefer
University of Melbourne

Topic areas

Details

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

Abstract: 

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.)

Reminders

Registration

No

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.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.