Hsing-chien Tsai

Decidability of General Extensional Mereology

Hsing-chien Tsai, 2013, Stud Logica.

General Extensional Mereology is Finitely Axiomatizable

Hsing-chien Tsai, 2018, Stud Logica.

A Comprehensive Picture of the Decidability of Mereological Theories

Hsing-chien Tsai, 2013, Stud Logica.

First-order axiomatization of rough mereology

Hsing-chien Tsai, Hsing-chien Tsai, 2012, 2012 IEEE International Conference on Granular Computing.

On the Decidability of Axiomatized Mereotopological Theories

Hsing-chien Tsai, 2015, Notre Dame J. Formal Log..