Proof-theoretical analysis of order relations

DOI10.1007/S00153-003-0209-8MaRDI QIDQ701722zbMATHOpenAlexFDO

Authors Sara Negri, Jan von Plato, 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

zbMATH Keywords

decidabilityelementary theory of order relationsentailment relationproof-theoretical analysissequential formulationSzpilrajn's theorem

Mathematics Subject Classification ID

Partial orders, general (06A06) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07) Total orders (06A05)

Recommendations

• Sequent calculus proof theory of intuitionistic apartness and order relations
• scientific article; zbMATH DE number 1795222
• Admissibility of structural rules for extensions of contraction-free sequent calculi
• Computability-theoretic and proof-theoretic aspects of partial and linear orderings
• Proof analysis beyond geometric theories: from rule systems to systems of rules

Cited in

(17)

• Eliminating disjunctions by disjunction elimination
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Proof analysis in intermediate logics
• An investigation into intuitionistic logic with identity
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• A universal algorithm for Krull's theorem
• scientific article; zbMATH DE number 1870412 (Why is no real title available?)
• Sequent calculi for \(\mathsf{SCI}\)
• scientific article; zbMATH DE number 935103 (Why is no real title available?)
• The Hahn-Banach theorem by disjunction elimination
• A general Glivenko-Gödel theorem for nuclei
• Decision methods for linearly ordered Heyting algebras
• Proof theory and ordinal analysis
• Proof analysis in modal logic
• A verified decision procedure for orders in Isabelle/HOL
• Eliminating disjunctions by disjunction elimination
• The intensional side of algebraic-topological representation theorems

This page was built for publication: Proof-theoretical analysis of order relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701722)