Extended contact algebras and internal connectedness T Ivanova Studia Logica 108 (2), 239-254, 2020 | 11 | 2020 |
Distributive mereotopology: extended distributive contact lattices T Ivanova, D Vakarelov Annals of Mathematics and Artificial Intelligence 77, 3-41, 2016 | 10 | 2016 |
Contact join-semilattices T Ivanova Studia Logica 110 (5), 1219-1241, 2022 | 6 | 2022 |
Relational representation theorems for extended contact algebras P Balbiani, T Ivanova Studia Logica 109 (4), 701-723, 2021 | 5 | 2021 |
Logics for extended distributive contact lattices T Ivanova Journal of Applied Non-Classical Logics 28 (1), 140-162, 2018 | 2 | 2018 |
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete T Ivanova, T Tinchev Transactions of the American Mathematical Society 378 (02), 1433-1447, 2025 | | 2025 |
Extended distributive contact lattices and extended contact algebras T Ivanova 2020 15th Conference on Computer Science and Information Systems (FedCSIS …, 2020 | | 2020 |