AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Dimiter Vakarelov

Dimiter Vakarelov

Sofia University St Kliment Ohridski - Sofia / Bulgaria
History, Philosophy, Theology / Philosophy
AD Scientific Index ID: 1405836
Софийски университет
person_outline Dimiter Vakarelov's MOST POPULAR ARTICLES
1-) Notes on N-lattices and constructive logic with strong negation Studia Logica: An International Journal for Symbolic Logic 36 (1/2), 109-125, 1977
2-) Contact algebras and region-based theory of space: a proximity approach–I Fundamenta Informaticae 74 (2-3), 209-249, 2006
3-) A modal logic for similarity relations in Pawlak knowledge representation systems Fundamenta Informaticae 15 (1), 61-79, 1991
4-) Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA Logical methods in computer science 2, 2006
5-) Elementary canonical formulae: extending Sahlqvist’s theorem Annals of Pure and Applied Logic 141 (1-2), 180-217, 2006