TY - JOUR
T1 - First- and second-order logic of mass terms
AU - Roeper, Peter
PY - 2004
Y1 - 2004
N2 - Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
AB - Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
KW - Identity
KW - Infinite divisibility
KW - Non-atomic domains of quantification
KW - Quantities
UR - http://www.scopus.com/inward/record.url?scp=34248708931&partnerID=8YFLogxK
U2 - 10.1023/B:LOGI.0000031380.24201.26
DO - 10.1023/B:LOGI.0000031380.24201.26
M3 - Article
SN - 0022-3611
VL - 33
SP - 261
EP - 297
JO - Journal of Philosophical Logic
JF - Journal of Philosophical Logic
IS - 3
ER -