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.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Free Ordered Algebraic Structures towards Proof Theory

Andreja Prijatelj
The Journal of Symbolic Logic
Vol. 66, No. 2 (Jun., 2001), pp. 597-608
DOI: 10.2307/2695031
Stable URL: http://www.jstor.org/stable/2695031
Page Count: 12
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Free Ordered Algebraic Structures towards Proof Theory
Preview not available

Abstract

In this paper, constructions of free ordered algebras on one generator are given that correspond to some one-variable fragments of affine propositional classical logic and their extensions with n-contraction (n ≥ 2). Moreover, embeddings of the already known infinite free structures into the algebras introduced below are furnished with; thus, solving along the respective cardinality problems.

Page Thumbnails

  • Thumbnail: Page 
597
    597
  • Thumbnail: Page 
598
    598
  • Thumbnail: Page 
599
    599
  • Thumbnail: Page 
600
    600
  • Thumbnail: Page 
601
    601
  • Thumbnail: Page 
602
    602
  • Thumbnail: Page 
603
    603
  • Thumbnail: Page 
604
    604
  • Thumbnail: Page 
605
    605
  • Thumbnail: Page 
606
    606
  • Thumbnail: Page 
607
    607
  • Thumbnail: Page 
608
    608