Opis

• Tytuł:
  Finitely inseparable first-order axiomatized mereotopological theories
• Twórca:
  Tsai, Hsing-chien
• Opis:
  This paper will first introduce first-order mereotopological axioms and axiomatized theories which can be found in some recent literature and it will also give a survey of decidability, undecidability as well as other relevant notions. Then the main result to be given in this paper will be the finite inseparability of any mereotopological theory up to atomic general mereotopology (AGEMT) or strong atomic general mereotopology (SAGEMT). Besides, a more comprehensive summary will also be given via making observations about other properties stronger than undecidability.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2013.06.11
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 22 No. 3 (2013): September; 347–363;
  Logic and Logical Philosophy; Tom 22 Nr 3 (2013): September; 347–363;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2013.016/754
• Temat i słowa kluczowe:
  mereology;
  mereotopology;
  decidability;
  undecidability;
  separability;
  inseparability;
  finite separability;
  finite inseparability
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2013.016
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty