Abstract
We develop an account of logical consequence for the second-order language of set theory in the spirit of Boolos's plural interpretation of monadic second-order logic.
Citation
Augustín Rayo. Gabriel Uzquiano. "Toward a Theory of Second-Order Consequence." Notre Dame J. Formal Logic 40 (3) 315 - 325, Summer 1999. https://doi.org/10.1305/ndjfl/1022615612
Information