Please note that this newsitem has been archived, and may contain outdated information or links.
24 February 2025, Nordic Online Logic Seminar, Elaine Pimentel
Speaker: Elaine Pimentel
Title: Proof-theoretic semantics: from intuitionism to classical, from natural deduction to sequents
Date: Monday 24 February 2025
Time: 16:00-17:30
Location: Zoom
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.
For more information, see
https://scandinavianlogic.org/2025-02-17-NOL-Seminar-Elaine-Pimentel.html
or contact Val Goranko at valentin.goranko at philosophy.su.se.
Please note that this newsitem has been archived, and may contain outdated information or links.