# Logic@GU

The Logic Group at the University of Gothenburg

Welcome to the webpage of the Logic group at the University of Gothenburg. Information about our research and activities can be found through the menu at the top. More detailed information about our research and activities can be found on the personal pages of group members and our homepage at the University of Gothenburg.

## Announcements

30 Aug 2024 | Welcome to our new-look homepage! |
---|---|

26 Jun 2024 | The Logic Group is recruiting! |

24 Jun 2024 | The 2024 Logic Colloquium has begun |

## Upcoming seminars and events

### From constructive mathematics and quantum mechanics to Fundamental Logic

#### Wesley H Holliday, UC Berkeley

Non-classical logics have been proposed in a number of domains, including constructive mathematics and quantum mechanics. In this talk, I will identify a base logic beneath some of these non-classical logics that I suggest has a certain fundamental status. I will give an introduction to the proof theory and semantics of this “Fundamental Logic.”

An associated paper is available at https://arxiv.org/abs/2207.06993.