Skip navigation
Skip navigation

First- and Second- Order Logic of Mass Terms

Roeper, Peter


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.

CollectionsANU Research Publications
Date published: 2004
Type: Journal article
Source: Journal of Philosophical Logic
DOI: 10.1023/B:LOGI.0000031380.24201.26


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator