Proof-theoretical analysis of order relations
From MaRDI portal
Publication:701722
DOI10.1007/s00153-003-0209-8zbMath1062.03055MaRDI QIDQ701722
Jan von Plato, Sara Negri, Thierry Coquand
Publication date: 16 December 2004
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-003-0209-8
decidability; elementary theory of order relations; entailment relation; proof-theoretical analysis; sequential formulation; Szpilrajn's theorem
06A06: Partial orders, general
03B25: Decidability of theories and sets of sentences
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
06A05: Total orders
Related Items
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Proof analysis in intermediate logics, Proof analysis in modal logic, Sequent calculi for \(\mathsf{SCI}\), Eliminating disjunctions by disjunction elimination, Decision methods for linearly ordered Heyting algebras