First- and Second- Order Logic of Mass Terms
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.
|Collections||ANU Research Publications|
|Source:||Journal of Philosophical Logic|