Description

• Title:
  Finitely inseparable first-order axiomatized mereotopological theories
• Creator:
  Tsai, Hsing-chien
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2013.06.11
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  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
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2013.016/754
• Subject:
  mereology;
  mereotopology;
  decidability;
  undecidability;
  separability;
  inseparability;
  finite separability;
  finite inseparability
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2013.016
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text