论文信息 - On the Decidability of Axiomatized Mereotopological Theories - 字舞流文

On the Decidability of Axiomatized Mereotopological Theories

Hsing-chien Tsai

[1] DECIDABILITY OF MEREOLOGICAL THEORIES , 2009 .

[2] Hsing-chien Tsai. Decidability of General Extensional Mereology , 2013, Stud Logica.

[3] Ian Pratt-Hartmann,et al. First-Order Mereotopology , 2007, Handbook of Spatial Logics.

[4] Ivo Düntsch,et al. A Proof System for Contact Relation Algebras , 2000, J. Philos. Log..

[5] Maria Emilia Maietti,et al. Constructive version of Boolean algebra , 2013, Log. J. IGPL.

[6] Bowman L. Clarke,et al. A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[7] Hsing-chien Tsai. A Comprehensive Picture of the Decidability of Mereological Theories , 2013, Stud Logica.