Homepage of Tatyana Ivanova, PhD

Tatyana Ivanova studied informatics and mathematical logic at the Faculty of Mathematics and Informatics of Sofia University.

She is currently senior 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 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.

T. Ivanova (2018): Logics for extended distributive contact lattices, Journal of Applied Non-Classical Logics, 28(1), 140-162, DOI: 10.1080/11663081.2017.1373562; preprint; 50 free eprints.

T. Ivanova (2020): Extended contact algebras and internal connectedness. Full version, Studia Logica, 108, 239-254, DOI: 10.1007/s11225-019-09845-6; preprint; view-only version of the final paper.

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.

P. Balbiani and T. Ivanova (2021): Relational representation theorems for extended contact algebras, Studia Logica, 109, 701-723, DOI: 10.1007/s11225-020-09923-0; preprint.

T. Ivanova and T. Tinchev (2021): The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete, arXiv:2107.10128, DOI: 10.48550/arXiv.2107.10128.

T. Ivanova (2022): Contact join-semilattices, Studia Logica, 110, 1219-1241, DOI: 10.1007/s11225-022-09994-1; preprint; view-only version of the final paper.

PhD thesis:

Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics

Master thesis in Bulgarian:

Logics for lines in Euclidean plane with predicates convergence, parallelism and perpendicularity

Contact information:

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
email: tatyana.ivanova@math.bas.bg