Proof systems for lattice theory

Mathematical Structures in Computer Science

Volumn 14, Issue 4, 2004, Pages 507-526

  Negri, Sara ^a   Von Plato, Jan ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 30844438883     PISSN: 09601295     EISSN: 14698072     Source Type: Journal    
DOI: 10.1017/S0960129504004244     Document Type: Article

References (13)

1. Burris, S. (1995) Polynomial time uniform word problems. Mathematical Logic Quarterly 41 173–182.
2. Freese, R., Jezek, J. and Nation, J. (1995) Free Lattices, American Mathematical Society.
3. Negri, S. (1999) Sequent calculus proof theory of intuitionistic apartness and order relations. Archive for Mathematical Logic 38 521–547.
4. Negri, S. (2003) Contraction-free sequent calculi for geometric theories, with an application to Barr’s theorem. Archive for Mathematical Logic 42 389–401.
5. Negri, S. and von Plato, J. (1998) Cut elimination in the presence of axioms. The Bulletin of Symbolic Logic 4 418–435.
6. Negri, S. and von Plato, J. (2001) Structural Proof Theory, Cambridge University Press.
7. Negri, S. and von Plato, J. (2002) Permutability of rules in lattice theory. Algebra Universalis 48 473–477.
8. Negri, S., von Plato, J. and Coquand, T. (2004) Proof-theoretical analysis of order relations. Archive for Mathematical Logic 43 297–309.
9. von Plato, J. (2003) The decision problem in projective and affine geometry (manuscript).
10. Ranta, A. (2001) PESCA - A Proof Editor for Sequent Calculus. Appendix C in: Negri, S. and von Plato, J. Structural Proof Theory, Cambridge University Press.
11. Skolem, T. (1920) Logisch-kombinatorische Untersuchungen liber die Erfiillbarkeit oder Beweisbarkeit mathematischer Satze, nebst einem Theoreme liber dichte Mengen. As reprinted in: Fenstad, J. (ed.) (1970) Selected Works in Logic, Universitetsforlaget, Oslo 103–136.
12. Troelstra, A. and Schwichtenberg, H. (2000) Basic Proof Theory, 2nd edition, Cambridge University Press.
13. Whitman, P. (1941) Free lattices. Annals of Mathematics 42 325–330.