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.* 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 URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an *Athena Swan Gold award winner for gender equality <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* UCL is ranked among the *top ten in the QS World University Rankings 2024 <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* and is winner of *The Times and Sunday Times University of the Year 2024 <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVpCrGU3bqeetvpxkhWjqUHQb4MSQSJ%3DJfPi_Re8M_TnA%40mail.gmail.com.
