A comprehensive picture of the decidability of mereological theories
From MaRDI portal
Publication:383563
DOI10.1007/s11225-012-9405-zzbMath1315.03016MaRDI QIDQ383563
Publication date: 5 December 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9405-z
03A05: Philosophical and critical aspects of logic and foundations
03B25: Decidability of theories and sets of sentences
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
MEREOLOGICAL BIMODAL LOGICS, On the decidability of axiomatized mereotopological theories, Mereology then and now, Notes on models of first-order mereological theories
Cites Work