Journal of Symbolic Logic

Free Ordered Algebraic Structures towards Proof Theory

Andreja Prijatelj

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183746460

Mathematical Reviews number (MathSciNet)
MR1833465

Zentralblatt MATH identifier
0989.03073

JSTOR
links.jstor.org

Subjects
Primary: 06F25: Ordered rings, algebras, modules {For ordered fields, see 12J15; see also 13J25, 16W80}
Secondary: 03F05: Cut-elimination and normal-form theorems

Citation

Prijatelj, Andreja. Free Ordered Algebraic Structures towards Proof Theory. J. Symbolic Logic 66 (2001), no. 2, 597--608. https://projecteuclid.org/euclid.jsl/1183746460


Export citation