G. Bergman. (2016)cite arxiv:1602.00034Comment: Comments: 50 pages. Main change from version 2: Lemma 26 strengthened to include contractibility statement which in previous version was noted as "likely" in paragraph following that result. Several small typoes also corrected.
B. Ganter, und S. Kuznetsov. Conceptual Structures: Theory, Tools and Applications, Volume 1453 von Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (1998)
S. Kuznetsov, S. Obiedkov, und C. Roth. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), Volume 4604 von Lecture Notes in Artificial Intelligence, Seite 241-254. Berlin, Heidelberg, Springer-Verlag, (Juli 2007)
B. Ganter, und S. Rudolph. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), Volume 2120 von Lecture Notes in Computer Science, Seite 143-156. Springer, (2001)