PTS Seminar next week: Ekaterina Piotrovskaya (UCL), Nov 3, 5pm (UTC+0)
14 views
Skip to first unread message
Elaine Pimentel
Oct 29, 2025, 2:08:31 AM (12 days ago) Oct 29
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Dear all,
The next session of the Proof-Theoretic Semantics Seminar Series is coming up! This is a series of periodic online talks delivered by early career researchers working in proof-theoretic semantics or akin fields, organised by the PTS-Network.
On Monday, November 3, 5pm (UTC+0) Ekaterina Piotrovskaya (University College London) will present her work with the title "Base-extension Semantics: the Classical Chronicles".
Here is the abstract:
"Base-extension semantics (B-eS) -- a strand of proof-theoretic semantics -- has been given to a number of logics within the past decade. Rooted in inferentialism and constructive in spirit, B-eS is a very suitable framework for -- and can be smoothly given to -- intuitionistic logics; the same cannot be said about the classical ones. B-eS for intuitionistic logics follows a certain pattern that does not diverge much from logic to logic. Meanwhile, there are various ways of tweaking the B-eS machinery that allow for capturing classical behaviour. In this talk, we give an overview of such methods, and investigate whether they all rely on a specific detail that is differently disguised amongst them, or, on the contrary, whether there are multiple (unrelated) ways in which classicality can be achieved -- similar to how, syntactically, intuitionistic logic collapses to classical by adding a single, but not necessarily the same rule."
We will send the Zoom link over this mailing list on the day before the session.
On Monday, November 3, 5pm (UTC+0) Ekaterina Piotrovskaya (University College London) will present her work with the title "Base-extension Semantics: the Classical Chronicles".
Here is the abstract:
"Base-extension semantics (B-eS) -- a strand of proof-theoretic semantics -- has been given to a number of logics within the past decade. Rooted in inferentialism and constructive in spirit, B-eS is a very suitable framework for -- and can be smoothly given to -- intuitionistic logics; the same cannot be said about the classical ones. B-eS for intuitionistic logics follows a certain pattern that does not diverge much from logic to logic. Meanwhile, there are various ways of tweaking the B-eS machinery that allow for capturing classical behaviour. In this talk, we give an overview of such methods, and investigate whether they all rely on a specific detail that is differently disguised amongst them, or, on the contrary, whether there are multiple (unrelated) ways in which classicality can be achieved -- similar to how, syntactically, intuitionistic logic collapses to classical by adding a single, but not necessarily the same rule."
We will send the Zoom link over this mailing list on the day before the session.
Please note: 5pm (UTC+0) is also 5pm in the UK but 6pm in Central European Summer Time, please make sure you convert the time correctly to your specific time zone!
All the best,
Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
UCL Computer Science is an Athena Swan Gold award winner for gender equality
UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024
-----------------------------------
Reply all
Reply to author
Forward
0 new messages