References
Balbes, Raymond andAlfred Horn [70]Stone lattices Duke Math. J.37 (1970), p. 537–546
Bammert, Joachim [68]Quasideduktime Systeme und S-Algebren II, Archiv f. Math. Logik u. Grundlagenf.11 (1968/69), p. 101–112
Evans, Trevor [51]The Word Problem for Abstract Algebras, J. of the London Math. Soc.,26 (1951), p. 64–71
Evans, Trevor [53]Embeddability and the Word Problem, J. of the London Math. Soc.28 (1953), p. 76–80
Felscher, Walter [75]Kombinatorische Konstruktionen mit Beweisen und Schnittelimination, in: Diller, J. and G. H. Müller, ed.: Proof Theory Symposion Kiel 1974, Lecture Notes in Mathematics500 Springer, Berlin etc. 1975, p. 119–151
Gentzen, Gerhard [34]Untersuchungen über das logische Schließen, Math. Z.39 (1934), p. 176–210, 405–431
Hutchinson, George [73]Recursively unsolvable word problems of modular lattices and diagram-chasing, J. Algebra26 (1973), p. 385–399
Kalmbach, Gudrun [74]Orthomodular Logic, Zeitschr. f. Math. Logik u. Grundl. d. Math.20 (1974), p. 395–406
Lorenzen, Paul [51]Algebraische und logistische Untersuchungen über freie Verbände, J. of Symb. Logic16 (1951), p. 81–106.
Pierce, Richard S. [68]Introduction to the Theory of Abstract Algebras, Holt, Rinehart and Winston, New York 1968
Smullyan, Raymond M. [68]First-Order Logic, Érg. d. Math. u. i. Grenzgeb.43, Springer, Berlin etc. 1968
Tait, William W. [68]Normal derivability in classical logic, in:, Barwise, J., ed.: The Syntax and Semantics of Infinitary Languages, Symposion UCLA 1967, Lecture Notes in Math.72 p. 204–236, Springer, Berlin etc. 1968
Whitman, Philip M. [41]Free lattices, Ann. of Math.42 (1941), p. 325–330
Author information
Authors and Affiliations
Additional information
Aus der Dissertation des Verfassers: “Die algebraische Bedeutung der Schnittelimination nebst Anwendungen auf Wortprobleme,” Tübingen 1973.
Rights and permissions
About this article
Cite this article
Schulte Mönting, J. Cut elimination and word problems for varieties of lattices. Algebra Universalis 12, 290–321 (1981). https://doi.org/10.1007/BF02483891
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02483891