Description

• Tytuł:
  Notes on models of first-order mereological theories
• Twórca:
  Tsai, Hsing-chien
• Opis:
  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.
• Dostępność obiektu:
  free access
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2015.04.28
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  English
• Źródło:
  Logic and Logical Philosophy; Vol. 24 No. 4 (2015): December; 469-482;
  Logic and Logical Philosophy; Tom 24 Nr 4 (2015): December; 469-482;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2015.009/5264
• Temat i słowa kluczowe:
  mereology;
  models;
  first-order mereological theories
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2015.009
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text