Proof-theoretical analysis of order relations
From MaRDI portal
Publication:701722
DOI10.1007/s00153-003-0209-8zbMath1062.03055OpenAlexW1977180425MaRDI 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
decidabilityelementary theory of order relationsentailment relationproof-theoretical analysissequential formulationSzpilrajn's theorem
Partial orders, general (06A06) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Total orders (06A05)
Related Items
A verified decision procedure for orders in Isabelle/HOL ⋮ Sequent calculi for \(\mathsf{SCI}\) ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ The intensional side of algebraic-topological representation theorems ⋮ An Investigation into Intuitionistic Logic with Identity ⋮ Proof analysis in intermediate logics ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Decision methods for linearly ordered Heyting algebras ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Proof analysis in modal logic