First- and Second- Order Logic of Mass Terms
| dc.contributor.author | Roeper, Peter | |
| dc.date.accessioned | 2015-12-13T23:10:22Z | |
| dc.date.available | 2015-12-13T23:10:22Z | |
| dc.date.issued | 2004 | |
| dc.date.updated | 2015-12-12T08:23:42Z | |
| dc.description.abstract | 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. | |
| dc.identifier.issn | 0022-3611 | |
| dc.identifier.uri | http://hdl.handle.net/1885/87429 | |
| dc.publisher | Kluwer Academic Publishers | |
| dc.source | Journal of Philosophical Logic | |
| dc.subject | Keywords: Identity; Infinite divisibility; Non-atomic domains of quantification; Quantities | |
| dc.title | First- and Second- Order Logic of Mass Terms | |
| dc.type | Journal article | |
| local.bibliographicCitation.lastpage | 297 | |
| local.bibliographicCitation.startpage | 261 | |
| local.contributor.affiliation | Roeper, Peter, College of Arts and Social Sciences, ANU | |
| local.contributor.authoruid | Roeper, Peter, u7100415 | |
| local.description.notes | Imported from ARIES | |
| local.description.refereed | Yes | |
| local.identifier.absfor | 220308 - Logic | |
| local.identifier.ariespublication | MigratedxPub16708 | |
| local.identifier.citationvolume | 33 | |
| local.identifier.doi | 10.1023/B:LOGI.0000031380.24201.26 | |
| local.identifier.scopusID | 2-s2.0-34248708931 | |
| local.type.status | Published Version |