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 2015

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  first-order mereological theorie
help Sort By:

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

Notes on models of first-order mereological theories

100%
Tsai H.-c.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 4 Mereology and Beyond
469–482
EN
This paper will consider some interesting mereological models and, by looking into them carefully, will clarify some important metalogical issues, such as definability, atomicity and decidability. More precisely, this paper will inquire into what kind of subsets can be defined in certain mereological models, what kind of axioms can guarantee that any member is composed of atoms and what kind of axioms are crucial, by regulating the models in a certain way, for an axiomatized mereological theory to be decidable.
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.