caa a22 4500 463187261 CHVBK 20180406164857.0 cr unu---uuuuu 170326e20070401xx s 000 0 eng 10.1007/s10472-007-9064-3 doi (NATIONALLICENCE)springer-10.1007/s10472-007-9064-3 Region-based theory of discrete spaces: A proximity approach [Elektronische Daten] [Ivo Düntsch, Dimiter Vakarelov] We introduce Boolean proximity algebras as a generalization of Efremovič proximities which are suitable in reasoning about discrete regions. Following Stone's representation theorem for Boolean algebras, it is shown that each such algebra is isomorphic to a substructure of a complete and atomic Boolean proximity algebra. Springer Science+Business Media B.V., 2007 Proximity algebras nationallicence Discrete spaces nationallicence Qualitative spatial reasoning nationallicence Düntsch Ivo Department of Computer Science, Brock University, L2S 3A1, St Catharines, Ontario, Canada aut Vakarelov Dimiter Department of Mathematical Logic, Sofia University, Sofia, Bulgaria aut Annals of Mathematics and Artificial Intelligence Springer Netherlands 49/1-4(2007-04-01), 5-14 1012-2443 49:1-4<5 2007 49 10472 https://doi.org/10.1007/s10472-007-9064-3 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10472-007-9064-3 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Düntsch Ivo Department of Computer Science, Brock University, L2S 3A1, St Catharines, Ontario, Canada aut NATIONALLICENCE 700 1- Vakarelov Dimiter Department of Mathematical Logic, Sofia University, Sofia, Bulgaria aut NATIONALLICENCE 773 0- Annals of Mathematics and Artificial Intelligence Springer Netherlands 49/1-4(2007-04-01), 5-14 1012-2443 49:1-4<5 2007 49 10472 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer