Proof-theoretical analysis of order relations

Archive for Mathematical Logic

Volumn 43, Issue 3, 2004, Pages 297-309

  Negri, Sara ^a   Von Plato, Jan ^a   Coquand, Thierry ^b  

^a UNIVERSITY OF HELSINKI   (Finland)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2442442125     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00153-003-0209-8     Document Type: Article

References (12)

1. Cederquist, J., Coquand, Th.: Entailment relations and distributive lattices. In Logic Colloquium 98 (13), 127-139 (2000)
2. Cederquist, J., Coquand, Th., Negri, S.: The Hahn-Banach theorem in in type theory. In: G. Sambin and J. Smith, eds, Twenty-Five Years of Constructive Type Theory, Oxford University Press, 1998, pp. 39-50
3. Ehrenfeucht, A.: Decidability of the theory of linear order. Notices of the Am. Math. Soc. 6, 268-269 (1959)
4. Janiczak, A.: Undecidability of some simple formalized theories. Fundamenta Mathematicae 40, 131-139 (1953)
5. Kreisel, G.: Review of Janiczak (1953). Math. Rev. 15, 669-670 (1954)
6. Läuchli, H., Leonard, J.: On the elementary theory of linear order. Fundamenta Mathematicae 59, 109-116 (1966)
7. Negri, S.: Sequent calculus proof theory of intuitionistic apartness and order relations. Arch. Math. Logic 38, 521-547 (1999)
8. Negri, S., von Plato, J.: Cut elimination in the presence of axioms. The Bulletin of Symbolic Logic 4, 418-435 (1998)
9. Negri, S., von Plato, J.: Structural Proof Theory. Cambridge University Press, 2001
10. Rabin, M.: Decidable theories: In J. Barwise, (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 595-628
11. Scott, D.: Completeness and axiomatizability in many-valued logic. In: Proceedings of the Tarski Symposium, American Mathematical Society, Providence, Rhode Island, 1974, pp. 411-435
12. Szpilrajn, E.: Sur l'extension d'ordre partiel. Fundamenta Mathematicae 16, 386-389 (1930)