Substructural logics with fixpoints
Kazushige Terui (Research Institute for Mathematical Sciences)

August 12, 2016, 8:00am - 9:00am
Logic Group, University of Melbourne

Old Quad
Parkville 3010


Shawn Standefer
University of Melbourne

Topic areas


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.

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.