To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Proof-theoretical analysi… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Proof-theoretical analysis of order relations

Journal article
Authors S. Negri
J. von Plato
Thierry Coquand
Published in Archive for mathematical logic
Volume 43
Issue 3
Pages 297-309
ISSN 0933-5846
Publication year 2004
Published at Department of Computer Science and Engineering, Computing Science, Programming Logic
Pages 297-309
Language en
Subject categories Computer and Information Science


A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?