Substructural logics with fixpointsKazushige Terui (Research Institute for Mathematical Sciences)
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.
Who is attending?
No one has said they will attend yet.
Will you attend this event?