Исчисление индивидуумов, основанное на связи
Кларк, Боуман, 1981, «Исчисление индивидуумов, основанное на связи»
A Calculus of Individuals Based on Connection.
BOWMAN L. CLARKE
https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-22/issue-3/A-calculus-of-individuals-based-on-connection/10.1305/ndjfl/1093883455.full
Бесточечная геометрия Уайтхеда
https://en.wikipedia.org/wiki/Whitehead%27s_point-free_geometry
https://en.wikipedia.org/wiki/Mereotopology
--
Биачино Л. и Герла Г., 1991, « Структуры соединения », Журнал формальной логики Нотр-Дама 32: 242–47.
Казати, Роберто и Варци, Акилле, 1999. Части и места: структуры пространственного представления . Массачусетский технологический институт Пресс.
Стелл Дж. Г., 2000, « Алгебры логических связей: новый подход к исчислению региональных связей », Искусственный интеллект 122: 111–13
https://en.wikipedia.org/wiki/Mereotopology
Biacino L., and Gerla G., 1991, "Connection Structures,"
Casati, Roberto, and Varzi, Achille, 1999. Parts and places: the structures of spatial representation. MIT Press.
Stell J. G., 2000, "Boolean connection algebras: A new approach to the Region-Connection Calculus,"
---
A Calculus of Individuals Based on Connection.
BOWMAN L. CLARKE
https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-22/issue-3/A-calculus-of-individuals-based-on-connection/10.1305/ndjfl/1093883455.full
Бесточечная геометрия Уайтхеда
https://en.wikipedia.org/wiki/Whitehead%27s_point-free_geometry
https://en.wikipedia.org/wiki/Mereotopology
--
Биачино Л. и Герла Г., 1991, « Структуры соединения », Журнал формальной логики Нотр-Дама 32: 242–47.
Казати, Роберто и Варци, Акилле, 1999. Части и места: структуры пространственного представления . Массачусетский технологический институт Пресс.
Стелл Дж. Г., 2000, « Алгебры логических связей: новый подход к исчислению региональных связей », Искусственный интеллект 122: 111–13
https://en.wikipedia.org/wiki/Mereotopology
Biacino L., and Gerla G., 1991, "Connection Structures,"
Casati, Roberto, and Varzi, Achille, 1999. Parts and places: the structures of spatial representation. MIT Press.
Stell J. G., 2000, "Boolean connection algebras: A new approach to the Region-Connection Calculus,"
---