Proof-theoretical analysis of order relations (Q701722): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-003-0209-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1977180425 / rank | |||
Normal rank |
Latest revision as of 22:59, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof-theoretical analysis of order relations |
scientific article |
Statements
Proof-theoretical analysis of order relations (English)
0 references
16 December 2004
0 references
In a previous work, the first and second author proposed a proof-theoretical treatment of axiomatic systems in a general setting by showing that a wide class of mathematical axioms are convertible into rules of inference added to certain contraction-free sequent calculi so that we can apply several establised methods of proof analysis in sequent calculi. In this paper, the argument is enriched by some developments on duality of mathematical rules and on Harrop theories, and then applied to a concrete analysis of elementary theories of order relations. The main result obtained by the analysis is a conservativity theorem which gives rise to a proof-theoretical version of Szpilrajn's theorem on the extension of a partical order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is also shown by giving terminating methods of proof-search. Finally the third author discusses these results by an alternative approach, featuring the notion of entailment relation introduced by D. Scott.
0 references
sequential formulation
0 references
proof-theoretical analysis
0 references
elementary theory of order relations
0 references
Szpilrajn's theorem
0 references
decidability
0 references
entailment relation
0 references