Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Tsai H.-c.

Years help

  1. 1 2011

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  part-whole relation
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

More on The Decidability of Mereological Theories

100%
Tsai H.-c.
Logic and Logical Philosophy
|
2011
|
vol. 20
|
issue 3
251-265
EN
Quite a few results concerning the decidability of mereological theories have been given in my previous paper. But many mereological theories are still left unaccounted for. In this paper I will refine a general method for proving the undecidability of a theory and then by making use of it, I will show that most mereological theories that are strictly weaker than CEM are finitely inseparable and hence undecidable. The same results might be carried over to some extensions of those weak theories by adding the fusion axiom schema. Most of the proofs to be presented in this paper take finite lattices as the base models when applying the refined method. However, I shall also point out the limitation of this kind of reduction and make some observations and conjectures concerning the decidability of stronger mereological theories.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.