Open Access
Summer 1999 Toward a Theory of Second-Order Consequence
Augustín Rayo, Gabriel Uzquiano
Notre Dame J. Formal Logic 40(3): 315-325 (Summer 1999). DOI: 10.1305/ndjfl/1022615612

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

Download 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

Published: Summer 1999
First available in Project Euclid: 28 May 2002

zbMATH: 1007.03044
MathSciNet: MR1845629
Digital Object Identifier: 10.1305/ndjfl/1022615612

Subjects:
Primary: 03C85
Secondary: 03A05 , 03B15

Rights: Copyright © 1999 University of Notre Dame

Vol.40 • No. 3 • Summer 1999
Back to Top