01
Algebraic logic
Exploring the algebraic structures behind logical systems, with a focus on quad algebras and double Stone algebras.
Structure & semanticsMathematical logic & beyond
Neha Gaur.
Algebra. Logic. Connections.
I am Neha Gaur, a researcher in mathematical logic, with interests in algebraic logic, non-classical and many-valued logics, duality theory, and algebraic semantics.
My work explores the connections between algebraic structures and logical systems, with a particular focus on negation, four-valued logics, and categorical and topological representations.
Postdoctoral Researcher, TU WienInstitute of Logic and Computation · Vienna, Austria
An academic journey across
Banaras Hindu University Indian Statistical Institute TU Wien01 / Research interests
Different structures.
Deeper connections.
At the intersection of algebra and logic, I study how mathematical structures give meaning to logical systems.
02
Non-classical logics
Studying negation and many-valued systems, especially four-valued logics and their algebraic semantics.
Beyond true & false03
Duality theory
Connecting algebraic, topological, and frame-theoretic perspectives through categorical representations.
Two perspectives, one theory02 / Publications
Ideas, in print.
012025
Journal article
Quad Rings, Quad Algebras and a 4-valued Logic (opens in a new tab)
Studia Logica · Published online September 2025
Kumar, A., Dewan, B., & Gaur, N. (2025). Quad Rings, Quad Algebras and a 4-valued Logic. Studia Logica. https://doi.org/10.1007/s11225-025-10204-x
022025
Journal article
A Categorical Analysis of Compatibility Frames (opens in a new tab)
Journal of Logic and Computation · 35(4), exaf027
Kumar, A., Gaur, N., & Dewan, B. (2025). A categorical analysis of compatibility frames. Journal of Logic and Computation, 35(4), exaf027. https://doi.org/10.1093/logcom/exaf027
032025
Journal article
A 4-valued Logic for Double Stone Algebras (opens in a new tab)
International Journal of Approximate Reasoning · 176, 109309
Kumar, A., Gaur, N., & Dewan, B. (2025). A 4-valued logic for double Stone algebras. International Journal of Approximate Reasoning, 176, 109309. https://doi.org/10.1016/j.ijar.2024.109309
04Preprint
Preprint
A Topological Duality for Posets and Semilattices
Research preprint · Available through my ResearchGate profile
05Preprint
Preprint
Ring Structure of Principal Regular Double Stone Algebras
Research preprint · Available through my ResearchGate profile
06Preprint
Preprint
Topological Duality and Some Structural Results of Quad Algebras
Research preprint · Available through my ResearchGate profile
Paper links open the publisher's article page in a new tab; full-text access depends on the publisher. Preprint links open my ResearchGate profile in a new tab. For a complete academic record, download my CV
03 / Academic journey
A path shaped
by curiosity.
From mathematics at Banaras Hindu University to research in Vienna, my work continues to explore the meeting points of logic and algebra.
View my full CV
Education
PhD, MathematicsBanaras Hindu University · 2026
MSc, MathematicsBanaras Hindu University · 2018
BSc, Mathematics, Physics & Defence StudiesDDU Gorakhpur University · 2015
-
September 2026 – February 2027
Postdoctoral Researcher
TU Wien Vienna, Austria
Theory and Logic Group, Institute of Logic and Computation. Hosted by Dr. Anela Lolic.
Ernst Mach Worldwide Grant (OeAD) and the FWF project “Skolemization and Equality” (opens in a new tab).
-
March – August 2026
Research Visitor
Indian Statistical Institute Chennai, India
Research in the Computer Science Unit under Prof. Sujata Ghosh.
-
January 2020 – February 2026
Doctoral Research
Banaras Hindu University Varanasi, India
Department of Mathematics, under Dr. Arun Kumar. UGC Junior Research Fellow (2020–2022), Senior Research Fellow (2022–2025), and PhD Scholar (2025–2026).
04 / In conversation
Research is a
shared endeavour.
Conference presentations and participation, research achievements, and contributions to the mathematics and logic community.
Conference presentations & participation
TACL 2026
12th Conference on Topology, Algebra, and Categories in Logic
Kraków, Poland
Two contributed talks- A Unified Categorical Duality for Preminimal Negation and Beyond: Extending Compatibility Semantics Along Dunn’s Negation Hierarchy
- Quad Rings and Quad Algebras: From Duality to Logical Perspective
WIL 2026
10th Women in Logic Workshop
Lisbon, Portugal
Contributed talk- Quad Algebras and a 4-Valued Non-Classical Logic
ISLA 2026
11th Indian School on Logic and its Applications
Krea University, India
AttendeeWIL 2025
9th Women in Logic Workshop
Birmingham, UK
Contributed short talk- A Rough Set Semantics for 4-valued Logic of Double Stone Algebras
FSCD 2025
10th International Conference on Formal Structures for Computation and Deduction
Birmingham, UK
AttendeeIWM 2025
Indian Women in Mathematics Annual Conference
IIT Patna, India
Paper presentation- Categorical Aspects of Distributive Lattices with Preminimal Negations and its Extensions
28th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics
Szklarska Poręba, Poland
Paper presentation- A Study on Logic Naturally Associated to Double Stone Algebras
AWPL 2025
6th Asian Workshop on Philosophical Logic
Jadavpur University, Kolkata, India
AttendeeICLA 2025
11th Indian Conference on Logic and its Applications
ISI Kolkata, India
Poster- Descriptive Compatibility Frames and its Extensions
SAT 2024
27th International Conference on Theory and Applications of Satisfiability Testing
Pune, India
AttendeeICLA 2023
10th Indian Conference on Logic and its Applications
IIT Indore, India
Contributed talk- Categorical Duality of Compatibility Frames
ISLA 2022
9th Indian School on Logic and its Applications
IIT Kanpur, India
Contributed talk- Modal Logic
A different kind of perspective
There is beauty
in the connections.
05 / Get in touch
Let’s continue
the conversation.
For research conversations, academic enquiries,
or simply a shared interest in logic.
Write to me
Gmail
gaur.neha1947@gmail.com
TU Wien
neha.gaur@tuwien.ac.at
Institute of Logic and Computation
TU Wien · Vienna, Austria