Dimiter Vakarelov

Identifiers

• name variant Dimiter Vakarelov 0.60 · backfill

Papers (5)

1. Distributive Mereotopology: Extended distributive contact lattices math.LO · 2019 · author #2
2. Topological Representation of Precontact Algebras and a Connected Version of the Stone Duality Theorem -- I math.GN · 2015 · author #2
3. On the investigations of Ivan Prodanov in the theory of abstract spectra math.GN · 2015 · author #2
4. A system of relational syllogistic incorporating full Boolean reasoning cs.LO · 2011 · author #2
5. Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA cs.LO · 2006 · author #3

Mentions

• 1102.4496 #2 · backfill · confidence 0.70 Dimiter Vakarelov

Frequent Coauthors

• Georgi Dimov 2 shared papers
• Nikolay Ivanov 1 shared papers
• Tatyana Ivanova 1 shared papers
• Valentin Goranko 1 shared papers
• Willem Conradie 1 shared papers