Journal article

Pure Second-Order Logic with Second-Order Identity.

Publication status:: Published

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Paseau, A. (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic, 51(3), 351–360.

MLA Style

Paseau, A. “Pure Second-Order Logic with Second-Order Identity.” Notre Dame Journal of Formal Logic, vol. 51, no. 3, 2010, pp. 351–60.

Chicago Style

Paseau, A. 2010. “Pure Second-Order Logic with Second-Order Identity.” Notre Dame Journal of Formal Logic 51 (3): 351–60.
Print

Access Document

Publisher copy:: 10.1215/00294527-2010-021

Authors

+ Paseau, A More by this author

Institution:: University of Oxford
Division:: HUMS
Department:: Philosophy Faculty
Role:: Author

Journal:: Notre Dame Journal of Formal Logic More from this journal
Volume:: 51
Issue:: 3
Pages:: 351-360
Publication date:: 2010-01-01
DOI:: 10.1215/00294527-2010-021
ISSN:: 0029-4527

Keywords:: compactness

model completeness

second-order logic

decidability of validity

nth-order logic

elimination of quantifiers
Pubs id:: pubs:146112
UUID:: uuid:7f7930e9-38b9-427c-b338-947e287ecfa5
Local pid:: pubs:146112
Source identifiers:: 146112
Deposit date:: 2012-12-19
ARK identifier:: ark:/29072/ora_7f7930e938b9427cb338947e287ecfa5

Terms of use

Copyright date:: 2010

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP