On Scott Consequence Systems. - Georgi D. Dimov; Dimiter Vakarelov (Fundam. Informaticae, 1998)

A Proximity Approach to Some Region-Based Theories of Space. - Dimiter Vakarelov; Georgi D. Dimov; Ivo Düntsch; Brandon Bennett (J. Appl. Non Class. Logics, 2002)

Frames and Grids. - Georgi D. Dimov; Maria-Cristina Pedicchio; Gino Tironi (Appl. Categorical Struct., 2004)

Topological Representation of Precontact Algebras. - Georgi D. Dimov; Dimiter Vakarelov (RelMiCS, 2005)

Contact Algebras and Region-based Theory of Space: A Proximity Approach - I. - Georgi D. Dimov; Dimiter Vakarelov (Fundam. Informaticae, 2006)

Contact Algebras and Region-based Theory of Space: Proximity Approach - II. - Georgi D. Dimov; Dimiter Vakarelov (Fundam. Informaticae, 2006)

A Generalization of De Vries Duality Theorem. - Georgi D. Dimov (Appl. Categorical Struct., 2009)

Categorical Extension of Dualities: From Stone to de Vries and Beyond, I. - Georgi D. Dimov; Elza Ivanova-Dimova; Walter Tholen (Appl. Categorical Struct., 2022)