## Journal of Symbolic Logic

### Free Ordered Algebraic Structures towards Proof Theory

Andreja Prijatelj

#### 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 \geq 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.

#### Article information

Source
J. Symbolic Logic, Volume 66, Issue 2 (2001), 597-608.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183746460

Mathematical Reviews number (MathSciNet)
MR1833465

Zentralblatt MATH identifier
0989.03073

JSTOR