WomenInLogic (@womeninlogic1) 's Twitter Profile
WomenInLogic

@womeninlogic1

Women in Logic: dismantling inequality tweet by tweet

ID: 1287740693247479813

linkhttp://www.womeninlogic.org calendar_today27-07-2020 13:24:54

1,1K Tweet

1,1K Followers

180 Following

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨NEW PAPER ALERT🚨 Evelyn Erickson, "A Contextual Account of Explanation in Logic," Principia Vol. 28 No. 2 (2024) periodicos.ufsc.br/index.php/prin… 🚨OPEN ACCESS🚨

Dr Valeria dePaiva (@valeriadepaiva) 's Twitter Profile Photo

WomenInLogic Categorical generalisations of quantum double models Anna-Katharina Hirmer and Catherine Meusburger Theory and Applications of Categories, Vol. 41, 2024, No. 37, pp 1293-1351. Published 2024-09-25. tac.mta.ca/tac/volumes/41…

Doctor Logic (@saraluckelman) 's Twitter Profile Photo

My revised entry on William of Sherwood is now available in the Stanford Encyclopedia of Philosophy: plato.stanford.edu/entries/willia… Many thanks to the Medieval Logic Facebook Group for recommending me resources discussing Sherwood that have come out in the last 5 years.

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨TALK ANNOUNCEMENT🚨 2 Oct 2024, 10:00 - 12:00 (zoom and in person) Marianna Girlando (ILLC, University of Amsterdam) An introduction to conditionals and their proof theory cfcul.ciencias.ulisboa.pt/reunioes/an-in…

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨TALK ANNOUNCEMENT🚨 October 15, 4-5pm (UTC +1), online Sophie Nagler (University of St Andrews), "Inference behaviour semantics for all* connectives in two-dimensional sequent calculi". To receive the zoom link, email [email protected]

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨NEW PAPER ALERT🚨 Francesca Boccuni et al., "Explicit Abstract Objects in Predicative Settings," Journal of Philosophical Logic 53, 1347–1382 (2024). doi.org/10.1007/s10992…

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨ONLINE TALK🚨 Nordic Online Logic Seminar 21 October 2024 at 16:00 CEST (UTC+2) on Zoom Åsa Hirvonen (University of Helsinki), "Looking at quantum mechanics with model theoretic glasses" For zoom link, email Graham Leigh, [email protected]

Sara Ayhan (@sara_ayhan_) 's Twitter Profile Photo

Happy to report History and Philosophy of Logic published a translation that I did of an early logic article by Franz von Kutschera alongside with a short paper in which I contextualize this work 🥳 doi.org/10.1080/014453… (open access) tandfonline.com/eprint/Y3UD6XD… (limited access)

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨NEW PAPER ALERT🚨 Francesca Silva, "Epistemic logic with partial grasp," Synthese 204, 92 (2024). doi.org/10.1007/s11229… 🚨OPEN ACCESS🚨

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨NEW PAPER ALERT🚨 Manuela Busaniche et al., "Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity," Studia Logica 112, 1123–1161 (2024). doi.org/10.1007/s11225…

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨NEW PAPER ALERT🚨 Angelina Ilić-Stepić et al., "The Logic ILP for Intuitionistic Reasoning About Probability." Studia Logica 112, 987–1017 (2024). doi.org/10.1007/s11225…

WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

🚨NEW PAPER ALERT🚨 Funmilola Balogun et al., "Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs." Studia Logica 112, 1181–1200 (2024). doi.org/10.1007/s11225…

VCLA at TU Wien (@vclatuwien) 's Twitter Profile Photo

🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Automating Game Reasoning in Blockchain Security” with Laura Kovács! via zoom on 🗓️ November 25, 5 pm CET! ➡️ tuwien.zoom.us/webinar/regist… WomenInLogic #logic

🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Automating Game Reasoning in Blockchain Security” with Laura Kovács!
via zoom on 🗓️ November 25, 5 pm CET!
➡️ tuwien.zoom.us/webinar/regist…
<a href="/WomenInLogic1/">WomenInLogic</a> #logic
WomenInLogic (@womeninlogic1) 's Twitter Profile Photo

Women in PLEXUS workshop on substructural logics December 4-6, 2024 University of Turin Keynote speakers: Pilar Terrés Villalonga, Elaine Pimentel, Paula Teijeiro, Noemí Lubomirsky sites.google.com/view/womeninpl…