Tatyana Ivanova studied informatics and mathematical logic at the Faculty of Mathematics and Informatics
of Sofia University.
She is currently assistant at the Institute of Mathematics and Informatics of Bulgarian Academy of Sciences.
Her research interests include logics for space and time, modal logic.
T. Ivanova (2015): Extended contact algebras and internal connectedness, Proceedings of 10th Panhellenic Logic Symposium, 87-91, Samos, Greece.
T. Ivanova and D. Vakarelov (2016): Distributive mereotopology: extended distributive contact lattices, Annals of Mathematics and Artificial Intelligence, 77(1), 3-41, DOI: 10.1007/s10472-016-9499-5, preprint
P. Balbiani and T. Ivanova (2020): Relational representation theorems for extended contact algebras, Studia Logica, DOI: 10.1007/s11225-020-09923-0, preprint
T. Ivanova (2020): Extended distributive contact lattices and extended contact algebras, Proceedings of the 2020 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, 21, 69-75, DOI: 10.15439/2020F55
Master thesis in Bulgarian:
Department of Algebra and Logic
Institute of Mathematics and Informatics
Bulgarian Academy of Sciences
1113, Sofia, Bulgaria, Acad. Georgi Bonchev Str., Block 8
Tel +3592 979 3834