Substructural logics with fixpointsKazushige Terui (Research Institute for Mathematical Sciences)
August 12, 2016, 8:00am - 9:00am
Logic Group, University of Melbourne
G14
Old Quad
Parkville 3010
Australia
Organisers:
Shawn Standefer
University of Melbourne
Topic areas
Details
Kazushige Terui (Research Institute for Mathematical Sciences) will be giving a talk titled "Substructural logics with fixpoints". The abstract is below.
Abstract: Consider a propositional formula which is equivalent to its negation. Existence of such a formula is inconsistent with substructural logics above FLc, whereas consistent with those below Lukasiewicz logic. More generally, we can think of substructural logics extended with arbitrary mutual fixpoints. In this talk, we review some elementary properties of those logics and explain why it is important to study them.
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?