Reference18 articles.
1. [1] Casati, R., and A. C. Varzi, Parts and Places: The Structures of Spatial Representation, MIT Press, Cambridge, Mass., 1999.
2. [2] Ciraulo, F., M. E. Maietti, and P. Toto, “Constructive version of Boolean algebra,” Logic Journal of the IGPL, vol. 21 (2012), pp. 44–62.
3. [3] Clarke, B. L., “A calculus of individuals based on ‘connection,”' Notre Dame Journal of Formal Logic, vol. 22 (1981), pp. 204–18.
4. [4] Düntsch, I., and E. Orłowska, “A proof system for contact relation algebras,” Journal of Philosophical Logic, vol. 29 (2000), pp. 241–62.
5. [5] Enderton, H. B., A Mathematical Introduction to Logic, 2nd ed., Academic Press, Burlington, Mass., 2001.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献