Hsing-chien Tsai

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 2

Top Topics

Approximate Reasoning

Rough Mereology

Query Answering

Top Venues

Notre Dame J. Formal Log.

Publications

Nikolay Bazhenov, Hsing-chien Tsai
On the effective universality of mereological theories. Math. Log. Q. 68 (1) (2022)
Hsing-chien Tsai
General Extensional Mereology is Finitely Axiomatizable. Stud Logica 106 (4) (2018)
Hsing-chien Tsai
On the Decidability of Axiomatized Mereotopological Theories. Notre Dame J. Formal Log. 56 (2) (2015)
Hsing-chien Tsai
Decidability of General Extensional Mereology. Stud Logica 101 (3) (2013)
Hsing-chien Tsai
A Comprehensive Picture of the Decidability of Mereological Theories. Stud Logica 101 (5) (2013)
Hsing-chien Tsai
First-order axiomatization of rough mereology. GrC (2012)