Open AccessMore on the decidability of mereological theories
Author(s) -
Hsing-chien Tsai
Publication year - 2013
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2011.015
Subject(s) - mereology , decidability , undecidable problem , axiom , mathematics , mathematical proof , constructive , partition (number theory) , pure mathematics , discrete mathematics , computer science , combinatorics , epistemology , philosophy , geometry , process (computing) , operating system