Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Relations in Monadic Third-Order Logic

A. P. Hazen
Journal of Philosophical Logic
Vol. 26, No. 6 (Dec., 1997), pp. 619-628
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226631
Page Count: 10
  • Download ($43.95)
  • Cite this Item
Relations in Monadic Third-Order Logic
Preview not available

Abstract

The representation of quantification over relations in monadic third-order logic is discussed; it is shown to be possible in numerous special cases of foundational interest, but not in general unless something akin to the Axiom of Choice is assumed.

Page Thumbnails

  • Thumbnail: Page 
[619]
    [619]
  • Thumbnail: Page 
620
    620
  • Thumbnail: Page 
621
    621
  • Thumbnail: Page 
622
    622
  • Thumbnail: Page 
623
    623
  • Thumbnail: Page 
624
    624
  • Thumbnail: Page 
625
    625
  • Thumbnail: Page 
626
    626
  • Thumbnail: Page 
627
    627
  • Thumbnail: Page 
628
    628