Hsing-chien Tsai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the effective universality of mereological theories Mathematical Logic Quarterly	2023-09-12	Paper
General extensional mereology is finitely axiomatizable Studia Logica	2018-10-02	Paper
An addendum to: “Notes on models of first-order mereological theories” Logic and Logical Philosophy	2017-05-18	Paper
Notes on models of first-order mereological theories Logic and Logical Philosophy	2017-05-18	Paper
Atoms, gunk, and the limits of `composition' Erkenntnis	2016-11-01	Paper
On the decidability of axiomatized mereotopological theories Notre Dame Journal of Formal Logic	2015-07-20	Paper
Finitely inseparable first-order axiomatized mereotopological theories Logic and Logical Philosophy	2015-04-09	Paper
A comprehensive picture of the decidability of mereological theories Studia Logica	2013-12-05	Paper
Decidability of general extensional mereology Studia Logica	2013-06-27	Paper
More on the decidability of mereological theories	2012-01-05	Paper
Decidability of mereological theories Logic and Logical Philosophy	2010-02-05	Paper

Research outcomes over time

This page was built for person: Hsing-chien Tsai