Open AccessFinitely inseparable first-order axiomatized mereotopological theories
Author(s) -
Hsing-chien Tsai
Publication year - 2013
Publication title -
logic and logical philosophy
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2013.016
Subject(s) - decidability , axiom , order (exchange) , first order , mathematics , pure mathematics , algebra over a field , computer science , discrete mathematics , geometry , finance , economics