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. 2 Logic and Logical Philosophy

Years help

  1. 2 2015

Authors help

  1. 2 Tsai H.-c.

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  first-order mereological theories
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.
2

An addendum to: “Notes on models of first-order mereological theories”

100%
Tsai H.-c.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 4 Mereology and Beyond
483
EN
Andrzej Pietruszczak has made a comment on my Claim 1 in his paper entitled “Classical mereology is not elementarily axiomatizable”. His paper is a wonderful exposition of mereological structures and I think his comment is fair. However, the following are some remarks inspired by his comment.
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.