Women In Logic
@womeninlogic.bsky.social
📤 2561
📥 55
📝 209
Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
pinned post!
Welcome to all our new followers! We follow back women in logic (inclusively defined on both counts!). If you fit that description and we haven't followed you back, please introduce yourself!
12 months ago
1
14
1
Today in the Naples History of Logic seminar series (
sites.google.com/view/holnapl...
), Zoe McConaughey presents on Aristotle's Dialogical Syllogistic
about 16 hours ago
0
1
0
🚨TALK ANNOUNCEMENT🚨 Proof Society Seminar, Monday 17.11.2025, 14:00 CET Title: How first order is first order logic? Speaker: Juliette Kennedy The seminar takes place via Zoom:
bham-ac-uk.zoom.us/j/84261727269
Meeting ID: 842 6172 7269
loading . . .
Join our Cloud HD Video Meeting
Zoom is the leader in modern enterprise cloud communications.
https://bham-ac-uk.zoom.us/j/84261727269
1 day ago
0
2
0
Week of Logic, Tohoku University, Sendai; Nov 24-28, 2025 (hybrid)
sites.google.com/view/week-of...
List of Speakers: Sara Ayhan, Elena Ficara, Anna Malavisi, et al. Registration is free but mandatory, on-site registration closes Nov 17, 2025, online registration closes Nov 22, 2025.
loading . . .
Week of Logic
Welcome! At the Graduate School of Information Sciences, Tohoku University, we now have three outstanding philosophers as our Distinguished Professors (alphabetically ordered): Otávio Bueno, Graham Pr...
https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Fweek-of-logic-2025%2Fhome&data=05%7C02%7Cs.l.uckelman%40DURHAM.AC.UK%7Cfb97a233adcc473e2bb708de21577013%7C7250d88b4b684529be44d59a2d8a6f94%7C0%7C0%7C638984856602118551%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=yzKQnNz9NHUHwBzUWcnWPOccJTXJ9OXSoyvXzvejojk%3D&reserved=0
1 day ago
0
1
0
We are excited to announce the next talk in the seminar series "Women in Logic Online" by
@elainepimentel.bsky.social
! TITLE: Classical Versus Constructive: An Ecumenical Approach Date: Wed, November 26, 2025, 17:00 CEST Venue: Zoom You can register for free at
tuwien.zoom.us/webinar/regi...
.
loading . . .
Welcome! You are invited to join a webinar: Women in Logic Online with Elaine Pimentel. After registering, you will receive a confirmation email about joining the webinar.
Classical versus Constructive: An Ecumenical Approach
https://tuwien.zoom.us/webinar/register/WN_TbJTkg66R1eJ7Bn9gtzoVQ
4 days ago
1
3
3
🚨TALK ANNOUNCEMENT🚨 Proof-Theoretic Semantics Seminar Series Date: Monday, November 3, 5pm (UTC+0) Speaker: Ekaterina Piotrovskaya (University College London) Title: "Base-extension Semantics: the Classical Chronicles" Zoom link via PTS mailing list:
groups.google.com/g/pts-network/
loading . . .
PTS Network - Google Groups
https://groups.google.com/g/pts-network/
16 days ago
0
2
0
reposted by
Women In Logic
Johanna Franklin
23 days ago
Yay Rehana!
#MathSky
add a skeleton here at some point
0
5
1
Elisa Diambri speaks on "Impossible Antecedents in 13th-Century Logic" at the 1st Naples Workshop on the History of Logic (
sites.google.com/view/hol-wor...
)
17 days ago
0
2
1
Announcing the winner of the Christine Ladd-Franklin Logic Prize for the USA: This prize goes to the paper "Forcing with Invariant Measures" by Rehana Patel (Wesleyan University) et al., to be published in Logica Universalis.
23 days ago
0
9
1
🚨ONLINE TALK ANNOUNCEMENT🚨 October 16, 1pm US Central Time (currently UTC-5) Speaker: Cécilia Pradic (Swansea University) Title: How unconstructive is the Cantor-Bernstein theorem? For more info, including zoom link, see:
lagrange.math.siu.edu/calvert/Onli...
loading . . .
Online Logic Seminar
http://lagrange.math.siu.edu/calvert/OnlineLogicSeminar.html
about 1 month ago
0
2
0
🚨NEW PAPER ALERT🚨 Also in this volume is a chapter by Lu Jiang on Ockham's modal logic.
add a skeleton here at some point
about 1 month ago
0
4
0
🚨TALK ANNOUNCEMENT🚨 Date: Monday, November 3, 5pm (UTC+0) Speaker: Ekaterina Piotrovskaya (University College London) Title: Base-extension Semantics: the Classical Chronicles For zoom link, email
[email protected]
or subscribe to the mailing list:
sites.google.com/view/ptsnetw...
)
loading . . .
The PTS-Network - Subscribe
Fill in this form to become a member. Subscription is free and, besides giving moral support to the community, it involves no special commitment on your part. You can decide to subscribe either just t...
https://sites.google.com/view/ptsnetwork/membership/subscribe
about 1 month ago
0
2
0
🚨NEW PAPER ALERT🚨 Zoé Christoff, Rineke Verbrugge, et al., "Dynamic Logics of Diffusion and Link Changes on Social Networks," Volume 113, pages 1245–1315, (2025)
link.springer.com/article/10.1...
🚨OPEN ACCESS🚨
loading . . .
Dynamic Logics of Diffusion and Link Changes on Social Networks - Studia Logica
This paper introduces a comprehensive logical framework to reason about threshold-driven diffusion and threshold-driven link change in social networks. It considers both monotonic dynamics, where agents can only adopt new features and create new connections, and non-monotonic dynamics, where agents may also abandon features or cut ties. Three types of operators are combined: one capturing diffusion only, one capturing link change only, and one capturing both at the same time. We first characterise the models on which diffusion of a unique feature and link change stabilise, whilst discussing salient properties of stable models with multiple spreading features. Second, we show that our operators (and any combination of them) are irreplaceable, in the sense that the sequences of model updates expressed by a combination of operators cannot always be expressed using any other operators. Finally, we analyse classes of models on which some operators can be replaced.
https://link.springer.com/article/10.1007/s11225-024-10126-0?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11225_AWA1_GL_DTEC_054CI_TOC-011025&utm_content=etoc_springer_20251001
about 1 month ago
0
2
0
🚨NEW PAPER ALERT🚨 Valeria Giustarini, Sara Ugolini, et al., "Free Constructions in Hoops via l-Groups," Studia Logica Volume 113, pages 1317–1365, (2025)
link.springer.com/article/10.1...
🚨OPEN ACCESS🚨
loading . . .
Free Constructions in Hoops via $$\ell $$ ℓ -Groups - Studia Logica
Lattice-ordered abelian groups, or abelian $$\ell $$ ℓ -groups in what follows, are categorically equivalent to two classes of 0-bounded hoops that are relevant in the realm of the equivalent algebraic semantics of many-valued logics: liftings of cancellative hoops and perfect MV-algebras. The former generate the variety of product algebras, and the latter the subvariety of MV-algebras generated by perfect MV-algebras, that we shall call $$\textsf{DLMV}$$ DLMV . In this work we focus on these two varieties and their relation to the structures obtained by forgetting the falsum constant 0, i.e., product hoops and DLW-hoops. As main results, we first show a characterization of the free algebras in these two varieties as particular weak Boolean products; then, we show a construction that freely generates a product algebra from a product hoop and a DLMV-algebra from a DLW-hoop. In other words, we exhibit the free functor from the two algebraic categories of hoops to the corresponding categories of 0-bounded algebras. Finally, we use the results obtained to study projective algebras and unification problems in the two varieties (and the corresponding logics); both varieties are shown to have (strong) unitary unification type, and as a consequence they are structurally and universally complete.
https://link.springer.com/article/10.1007/s11225-024-10128-y?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11225_AWA1_GL_DTEC_054CI_TOC-011025&utm_content=etoc_springer_20251001
about 1 month ago
0
1
0
🚨NEW PAPER ALERT🚨 Cristina Sernadas et al., "Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics," Studia Logica Volume 113, pages 1401–1435, (2025)
link.springer.com/article/10.1...
loading . . .
Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics - Studia Logica
We show how to obtain a probabilistic semantics and calculus for a logic presented by a valuation specification. By identifying general forms of valuation constraints we are able to accommodate a wide class of propositional based logics encompassing multi-valued logics like Łukasiewicz 3-valued logic and the Belnap–Dunn four-valued logic as well as paraconsistent logics like $${\textsf{mbC}}$$ mbC and $${\textsf{LFI1}}$$ LFI 1 . The probabilistic calculus is automatically generated from the valuation specification. Although not having explicit probability constructors in the language, the rules of the calculus reflect the valuation constraints in a probabilistic way. Indeed the probability of the premises of each rule coincides with the probability of the conclusions. Moreover, a failed exhaustive attempt of proving a formula in this calculus means non-derivability. Nevertheless when the non-derived formula is consistent then it is possible to extract a satisfying valuation from the failed exhaustive attempt. Soundness and completeness of the calculi are established with respect to the probabilistic semantics consisting of probability spaces also induced by the valuation specification. Furthermore we prove the equivalence between the probabilistic and the valuation semantics.
https://link.springer.com/article/10.1007/s11225-024-10132-2?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11225_AWA1_GL_DTEC_054CI_TOC-011025&utm_content=etoc_springer_20251001
about 1 month ago
0
0
0
🚨NEW PAPER ALERT🚨 Mirjana Borisavljević, "Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts," Journal of Logic, Language and Information 34 (2025): 273–317.
link.springer.com/article/10.1...
loading . . .
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts - Journal of Logic, Language and Information
A standard sequent system (the system $$\mathcal{L}\mathcal{J}$$ L J ), a standard natural deduction system (the system $$\mathcal{N}\mathcal{J}$$ N J ) and an extended natural deduction system (the system $$\mathcal{N}\mathcal{E}$$ N E ) will be considered. The $$\mathcal{L}\mathcal{J}$$ L J -images of $$\mathcal{N}\mathcal{J}$$ N J -derivations and $$\mathcal{N}\mathcal{E}$$ N E -derivations ( $$\mathcal {GLJ}$$ GLJ -derivations and $$\mathcal {PLJ}$$ PLJ -derivations) and the $$\mathcal{N}\mathcal{E}$$ N E -images of $$\mathcal{N}\mathcal{J}$$ N J -derivations ( $$\mathcal {ENE}$$ ENE -derivations) will be presented. It will be shown that $$\mathcal {PLJ}$$ PLJ -derivations and $$\mathcal {GLJ}$$ GLJ -derivations have special cuts, nde-cuts and nd-cuts, respectively. Nd-cuts corresponding to maximum segments of $$\mathcal{N}\mathcal{J}$$ N J -derivations (ndam-cuts) and nde-cuts corresponding to maximum segments of $$\mathcal{N}\mathcal{E}$$ N E -derivations (ndeam-cuts) will be studied. It will be shown that (A) an $$\mathcal{N}\mathcal{J}$$ N J -derivation is normal iff its $$\mathcal{N}\mathcal{E}$$ N E -image is normal iff its $$\mathcal{L}\mathcal{J}$$ L J -image has no ndam-cuts; (B) an $$\mathcal {GLJ}$$ GLJ -derivation has no ndam-cuts iff its $$\mathcal{N}\mathcal{J}$$ N J -image is normal iff its $$\mathcal{N}\mathcal{E}$$ N E -image is normal; and (C) an $$\mathcal {ENE}$$ ENE -derivation is normal iff its $$\mathcal{N}\mathcal{J}$$ N J -image is normal iff its $$\mathcal{L}\mathcal{J}$$ L J -image has no ndeam-cuts.
https://link.springer.com/article/10.1007/s10849-025-09435-x?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_10849_AWA1_GL_DTEC_054CI_TOC-280925&utm_content=etoc_springer_20250928
about 2 months ago
0
5
1
The Women in Logic of the MOSAIC-PLEXUS workshop (Buenos Aires).
about 2 months ago
1
10
3
If you’re a woman working in logic, please consider checking and adding/updating your entry in this directory:
womeninlogic.org/WiLSpreadshe...
The more up to date it is, the better it can serve to increase our visibility, and the more comprehensive the directory is, the greater its use!
loading . . .
Women in Logic directory
An open directory for women in logic
https://womeninlogic.org/WiLSpreadsheets/logic-directory.html
about 2 months ago
1
10
8
The Women in Logic of the British Logic Colloquium and Peter Aczel Memorial Conference.
2 months ago
0
9
2
Paua Quinon
@ludolphine.bsky.social
gives a keynote at the British Logic Colloquium on "Is the Concept of Computation a Conceptual Fixed Point?"
2 months ago
0
12
4
Katrin Tent gives an invited talk on Model Theory of the Free Factor Complex at the British Logic Colloquium.
2 months ago
0
4
2
Florrie Verity presents on Homotopy Type Theory: Models and Modalities at the British Logic Colloquium.
2 months ago
0
5
2
So many excellent books by
#WomenInLogic
for sale at the BLC.
2 months ago
0
6
2
Fairouz Kamareddine gives an invited talk on "Numbers, Sets, Types, and Paradoxes" at the British Logic Colloquium 2025.
2 months ago
0
7
2
reposted by
Women In Logic
Paula Quinon
2 months ago
Manchester Peter Aczel Memorial Conference and British Logic Colloquium Turing Building Phyllis Nicolson, physicist and mathematician, pioneer in computer science, numerical analyst and an expert user of Hartree’s differential analyser
@womeninlogic.bsky.social
#womenincomputerscience
0
2
3
reposted by
Women In Logic
Paula Quinon
2 months ago
British Logic Colloquium Day 1
www.signbsl.com/sign/logic
Found
@saraluckelman.bsky.social
loading . . .
Watch how to sign 'logic' in British Sign Language.
Watch how to sign 'logic' in British Sign Language.
https://www.signbsl.com/sign/logic
0
6
4
Rosalie Imhoff speaking on "Logic and Inference in Constructive Set Theory" at the Peter Aczel Memorial Conference in Manchester.
2 months ago
0
6
3
The Women in Logic at the 7th International School and Workshop on Proof Theory, UGent (
proof2025.ugent.be
)
2 months ago
0
8
2
“Commemorating Frege: Logic and Philosophy of Mathematics” Workshop Speakers: Francesca Boccuni, Janine Gühler, Ludovica Conti, Leila Haaparanta, etc. Date: September 10-12, 2025 Venue: Maynense Room, Lisbon Academy of Sciences, Lisbon.
cful.letras.ulisboa.pt/lancog/event...
loading . . .
Commemorating Frege: Logic and Philosophy of Mathematics – Lancog
https://cful.letras.ulisboa.pt/lancog/events/commemorating-frege-logic-and-philosophy-of-mathematics/
2 months ago
0
8
3
🚨TALK ANNOUNCEMENT🚨 Women in Logic Online Speaker: Nina Gierasimczuk Title: Learning and Belief Revision: an Overview Date: Tuesday, September 16, 2025 Time: 17:30 (European Summer Time) Venue: Online via Zoom Register:
tuwien.zoom.us/webinar/regi...
loading . . .
Welcome! You are invited to join a webinar: Women in Logic Online with Nina Gierasimczuk. After registering, you will receive a confirmation email about joining the webinar.
Learning and Belief Revision: an Overview
https://tuwien.zoom.us/webinar/register/WN_21KUN_HySZ--dE9Hwq9y1w#/registration
2 months ago
0
3
1
reposted by
Women In Logic
arXiv cs.LO Logic in Computer Science
3 months ago
Lukas Bartl, Jasmin Blanchette, Tobias Nipkow: Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
https://arxiv.org/abs/2508.20738
https://arxiv.org/pdf/2508.20738
https://arxiv.org/html/2508.20738
0
0
1
reposted by
Women In Logic
arXiv cs.AI Artificial Intelligence
3 months ago
Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex: Efficient Neuro-Symbolic Learning of Constraints and Objective
https://arxiv.org/abs/2508.20978
https://arxiv.org/pdf/2508.20978
https://arxiv.org/html/2508.20978
0
2
4
A poster for the Feminist Logic workshop at the Bochum university U-bahn station!
3 months ago
1
18
4
🚨NEW PAPER ALERT🚨 Sujata Ghosh, Fenrong Liu, et al., "Reasoning under uncertainty in the game of Cops and Robbers," Synthese 206, article 101 (2025):
link.springer.com/article/10.1...
loading . . .
Reasoning under uncertainty in the game of Cops and Robbers - Synthese
The game of Cops and Robbers is an important model for studying computational queries in pursuit-evasion environments, among others. As recent logical explorations have shown, its structure exhibits a...
https://link.springer.com/article/10.1007/s11229-025-05165-6?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11229_AWA1_GL_DTEC_054CI_TOC-270825&utm_content=etoc_springer_20250827
3 months ago
0
5
1
reposted by
Women In Logic
Doctor Logic
3 months ago
Looking forward to heading to Bochum tomorrow (by train! Should take about 12 hours...) for this fantastic workshop with a speaker line-up which is basically "me and a bunch of my friends."
sites.google.com/view/worksho...
2
28
3
🚨TALK ANNOUNCEMENT🚨 Emma Gruner (Penn State University), "A Baire Category Approach to Besicovitch's Theorem" September 4, 2025, 1pm UTC-5, on zoom
lagrange.math.siu.edu/calvert/Onli...
loading . . .
Online Logic Seminar
http://lagrange.math.siu.edu/calvert/OnlineLogicSeminar.html
3 months ago
0
2
2
🚨TALK ANNOUNCEMENT🚨 Emma Gruner (Penn State University), "A Baire Category Approach to Besicovitch's Theorem" September 4, 2025, 1pm UTC-5, on zoom
lagrange.math.siu.edu/calvert/Onli...
loading . . .
Online Logic Seminar
http://lagrange.math.siu.edu/calvert/OnlineLogicSeminar.html
3 months ago
0
1
0
🚨TALK ANNOUNCEMENT🚨 Annalisa Conversano (Massey University), "Groups and rings in o-minimal structures," August 28, 2025, 1pm UTC-5 on zoom.
lagrange.math.siu.edu/calvert/Onli...
loading . . .
Online Logic Seminar
http://lagrange.math.siu.edu/calvert/OnlineLogicSeminar.html
3 months ago
0
1
1
🚨NEW PAPER ALERT🚨 Joanna Golińska-Pilarek, "Paraconsistency in Non-Fregean Framework," Volume 113, pages 915–953, (2025)
link.springer.com/article/10.1...
loading . . .
Paraconsistency in Non-Fregean Framework - Studia Logica
A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic to its non-Fregean version involves introducing a ...
https://link.springer.com/article/10.1007/s11225-024-10114-4?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11225_AWA1_GL_DTEC_054CI_TOC-080825&utm_content=etoc_springer_20250808
3 months ago
0
3
1
🚨NEW PAPER REPORT🚨 Marta Bílková, Sena Bozdag, et al., "Consistency-Sensitive Epistemic Modalities in Information-Based Semantics," Volume 113, pages 1061–1099, (2025)
link.springer.com/article/10.1...
loading . . .
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics - Studia Logica
The paper extends a framework of information-based semantics for intuitionistic logic with a paraconsistent negation and consistency-sensitive epistemic modalities. In this framework information state...
https://link.springer.com/article/10.1007/s11225-024-10115-3?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11225_AWA1_GL_DTEC_054CI_TOC-080825&utm_content=etoc_springer_20250808
3 months ago
0
4
1
🚨NEW PAPER ALERT🚨 Francisca Silva, "First-Order Aboutness Theory," Erkenntnis 2025
link.springer.com/article/10.1...
loading . . .
First-Order Aboutness Theory - Erkenntnis
We seem to have a good grasp of how the subject matters of truth-functional composites depends on their components: it’s simply fusion (Hawke in Australas J Philos 96:697–723, 2018, Fine in Philos Stu...
https://link.springer.com/article/10.1007/s10670-025-00996-8
3 months ago
0
4
2
🚨PAPER ALERT🚨 Zuzana Rybaříková, "Two Series of Time in Logic, Natural Language, Computer Science and Artificial Intelligence," Filosofie Dnes 8 (2):20-36 (2017)
philpapers.org/rec/RYBTSO-2
loading . . .
Zuzana Rybaříková, Two Series of Time in Logic, Natural Language, Computer Science and Artificial Intelligence - PhilPapers
J. M. E. McTaggart famously divided time into two time series, which he entitled A-series and B-series. Although he was proponent of neither of them, his division initiated a discussion as ...
https://philpapers.org/rec/RYBTSO-2
3 months ago
0
2
1
Eliza Wajch presents on "Formal Approaches to Quasi-Cardinals" at
#Principia2025
4 months ago
0
5
0
Jéssica Caren da Silva Melo (UFRN) presents on "Anti-excepcionalismo metodológico: limites da analogia com a ciência" at
#Principia2025
.
4 months ago
0
7
0
Emily de Oliveira Orvalhe (UFBA) presents on "Lógica, informação e evidência: sobre a abordagem epistêmica da paraconsistência" at
#Principia2025
.
4 months ago
0
8
0
"logical consequence"
add a skeleton here at some point
4 months ago
0
18
3
@cdutilhnovaes.bsky.social
presenting on "A Dialogical Account of Diagrams in Mathematical Proofs" at
#Principia2025
.
4 months ago
0
13
3
Júlia Araldi Trentin presents "Two ways of understanding logical objects and their consequences for logical theories", representing the next generation of
#WomenInLogic
.
#Principia2025
4 months ago
0
6
1
Professor Atocha Aliseda kicks off the 14th Principia International Symposium on Formal Approaches to Philosophy of Science with a talk on "Is there a place for logic in the philosophy of science?" (Spoiler: yes!)
4 months ago
0
7
1
reposted by
Women In Logic
Johanna Franklin
4 months ago
Thanks to Ana Sokolova and Maria Paola Bonacina for speaking in the
#CiE2025
Women in Computability workshop this afternoon! Moderating this panel is always super interesting.
#MathSky
#LogicSky
@womeninlogic.bsky.social
0
7
1
reposted by
Women In Logic
arXiv cs.LO Logic in Computer Science
4 months ago
Sara Ayhan, Hrafn Valt\'yr Oddsson: Proof-Theoretic Functional Completeness for the Connexive Logic C
https://arxiv.org/abs/2507.06854
https://arxiv.org/pdf/2507.06854
https://arxiv.org/html/2507.06854
0
1
2
Load more
feeds!
log in