Permutability of rules in lattice theory

Algebra Universalis

Volumn 48, Issue 4, 2002, Pages 473-477

  Negri, Sara ^a   Von Plato, Jan ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

Decidability; Lattice theory; Proof analysis

Indexed keywords

EID: 0036950429     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000120200012     Document Type: Article

References (5)

1. S. Burris, Polynomial time uniform word problems, Mathematical Logic Quarterly, 41 (1995), 173-182.
2. R. Freese, J. Ježek and J. Nation, Free Lattices, American Mathematical Society, Providence, Rhode Island, 1995.
3. S. Negri and J. von Plato Structural Proof Theory, Cambridge University Press 2001.
4. T. Skolem, Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischer Sätze, nebst einem Theoreme über dichte Mengen, 1920. As reprinted in [5], pp. 103-136.
5. T. Skolem, T. Selected Papers in Logic, ed. J. Fenstad, Universitetsforlaget, Oslo 1970.