Proof-theoretical analysis of order relations

DOI10.1007/S00153-003-0209-8zbMATH Open1062.03055OpenAlexW1977180425MaRDI QIDQ701722FDOQ701722

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

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

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)

Cited In (17)

• A universal algorithm for Krull's theorem
• Title not available (Why is that?)
• Proof theory and ordinal analysis
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Decision methods for linearly ordered Heyting algebras
• Proof analysis in modal logic
• Title not available (Why is that?)
• A verified decision procedure for orders in Isabelle/HOL
• Sequent calculi for \(\mathsf{SCI}\)
• A general Glivenko-Gödel theorem for nuclei
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Proof analysis in intermediate logics
• The Hahn-Banach theorem by disjunction elimination
• The intensional side of algebraic-topological representation theorems
• An Investigation into Intuitionistic Logic with Identity
• Eliminating disjunctions by disjunction elimination

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)