Hsing-chien Tsai

Available identifiers

zbMath Open tsai.hsing-chienMaRDI QIDQ334852

List of research outcomes

Publication	Date of Publication	Type
On the effective universality of mereological theories	2023-09-12	Paper
General extensional mereology is finitely axiomatizable	2018-10-02	Paper
An addendum to: “Notes on models of first-order mereological theories”	2017-05-18	Paper
Notes on models of first-order mereological theories	2017-05-18	Paper
Atoms, gunk, and the limits of `composition'	2016-11-01	Paper
On the decidability of axiomatized mereotopological theories	2015-07-20	Paper
Finitely inseparable first-order axiomatized mereotopological theories	2015-04-09	Paper
A comprehensive picture of the decidability of mereological theories	2013-12-05	Paper
Decidability of general extensional mereology	2013-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3105694	2012-01-05	Paper
Decidability of mereological theories	2010-02-05	Paper

Research outcomes over time

This page was built for person: Hsing-chien Tsai