Zobrazeno 1 - 10
of 103
pro vyhledávání: '"Vakarelov, Dimiter"'
Autor:
Vakarelov, Dimiter
The paper is in the field of Region Based Theory of Space (RBTS), sometimes called mereotopology. RBTS is a kind of point-free theory of space based on the notion of region. Its origin goes back to some ideas of Whitehead, De Laguna and Tarski to bui
Externí odkaz:
http://arxiv.org/abs/2004.14755
Autor:
Ivanova, Tatyana, Vakarelov, Dimiter
Publikováno v:
Annals of Mathematics and Artificial Intelligence, 2016, 77(1), 3-41
Contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with a relation called contact. The elements of the Boolean algebra are considered as formal representations of physical bodies. The c
Externí odkaz:
http://arxiv.org/abs/1901.10442
Autor:
Dimov, Georgi, Vakarelov, Dimiter
The notions of a {\em 2-precontact space}\/ and a {\em 2-contact space}\/ are introduced. Using them, new representation theorems for precontact and contact algebras are proved. It is shown that there are bijective correspondences between such kinds
Externí odkaz:
http://arxiv.org/abs/1508.02220
Autor:
Dimov, Georgi, Vakarelov, Dimiter
The results of Iv. Prodanov on abstract spectra and separative algebras were announced in the journal "Trudy Mat. Inst. Steklova", 154, 1983, 200--208, but their proofs were never written by him in the form of a manuscript, preprint or paper. Since t
Externí odkaz:
http://arxiv.org/abs/1507.05486
Autor:
Ivanov, Nikolay, Vakarelov, Dimiter
Publikováno v:
Journal of Logic, Language and Information, 21 (2012) 433-459
We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B
Externí odkaz:
http://arxiv.org/abs/1102.4496
Publikováno v:
Logical Methods in Computer Science, Volume 2, Issue 1 (March 7, 2006) lmcs:2259
Modal formulae express monadic second-order properties on Kripke frames, but in many important cases these have first-order equivalents. Computing such equivalents is important for both logical and computational reasons. On the other hand, canonicity
Externí odkaz:
http://arxiv.org/abs/cs/0602024
Autor:
Dimov, Georgi D., Vakarelov, Dimiter
Publikováno v:
In Topology and its Applications 15 August 2017 227:64-101
Autor:
Ivanov, Nikolay, Vakarelov, Dimiter
Publikováno v:
Journal of Logic, Language, and Information, 2012 Oct 01. 21(4), 433-459.
Externí odkaz:
https://www.jstor.org/stable/41653694
Autor:
Vakarelov, Dimiter
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2012 Feb 01. 100(1/2), 385-397.
Externí odkaz:
https://www.jstor.org/stable/41475231
Autor:
Vakarelov, Dimiter
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2006 Oct 01. 84(1), 105-127.
Externí odkaz:
https://www.jstor.org/stable/20016822