If you need an accessible version of this item please contact JSTOR User Support

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
  • Download PDF
  • Cite this Item

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 need an accessible version of this item please contact JSTOR User Support
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