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 Pietruszczak A.

Years help

  1. 1 2015

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  the absence of elementary definability of classical mereolog
help Sort By:

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

Classical mereology is not elementarily axiomatizable

100%
Pietruszczak A.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 4 Mereology and Beyond
485-498
EN
By the classical mereology I mean a theory of mereological structures in the sense of [10]. In [7] I proved that the class of these structures is not elementarily axiomatizable. In this paper a new version of this result is presented, which according to my knowledge is the first such presentation in English. A relation of this result to a certain Hsing-chien Tsai’s theorem from [13] is emphasized.
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.