I will systematically discuss recent decidability and complexity results for substructural logics. Substructural logics are obtained from familiar logics (think classical or intuitionistic logic) by dropping structural properties such as commutativity, associativity, weakening, or contraction. Infinitely many substructural logics are then definable by adding rules corresponding to further properties. We will see how seemingly small amendments to the proof calculus relate to a world of different complexities.
Logic and Computation Seminar
Tuesday, November 15, 2022 - 2:00pm
Revantha Ramanayake
University of Groningen
Other Events on This Day
-
[CANCELLED] Active self-organization in cell and tissue mechanobiology
MathBio Seminar
10:00am