Skip to main content
SpringerLink
Log in

Cut elimination and word problems for varieties of lattices

  • Published:
algebra universalis Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Balbes, Raymond andAlfred Horn [70]Stone lattices Duke Math. J.37 (1970), p. 537–546

    Article  MATH  MathSciNet  Google Scholar 

  • Bammert, Joachim [68]Quasideduktime Systeme und S-Algebren II, Archiv f. Math. Logik u. Grundlagenf.11 (1968/69), p. 101–112

    Article  MathSciNet  Google Scholar 

  • Evans, Trevor [51]The Word Problem for Abstract Algebras, J. of the London Math. Soc.,26 (1951), p. 64–71

    MATH  Google Scholar 

  • Evans, Trevor [53]Embeddability and the Word Problem, J. of the London Math. Soc.28 (1953), p. 76–80

    MATH  Google Scholar 

  • 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

    Google Scholar 

  • Gentzen, Gerhard [34]Untersuchungen über das logische Schließen, Math. Z.39 (1934), p. 176–210, 405–431

    Article  MATH  MathSciNet  Google Scholar 

  • Hutchinson, George [73]Recursively unsolvable word problems of modular lattices and diagram-chasing, J. Algebra26 (1973), p. 385–399

    Article  MATH  MathSciNet  Google Scholar 

  • Kalmbach, Gudrun [74]Orthomodular Logic, Zeitschr. f. Math. Logik u. Grundl. d. Math.20 (1974), p. 395–406

    MATH  MathSciNet  Google Scholar 

  • Lorenzen, Paul [51]Algebraische und logistische Untersuchungen über freie Verbände, J. of Symb. Logic16 (1951), p. 81–106.

    Article  MATH  MathSciNet  Google Scholar 

  • Pierce, Richard S. [68]Introduction to the Theory of Abstract Algebras, Holt, Rinehart and Winston, New York 1968

    Google Scholar 

  • Smullyan, Raymond M. [68]First-Order Logic, Érg. d. Math. u. i. Grenzgeb.43, Springer, Berlin etc. 1968

    MATH  Google Scholar 

  • 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

    Google Scholar 

  • Whitman, Philip M. [41]Free lattices, Ann. of Math.42 (1941), p. 325–330

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Tübingen, Tübingen, West Germany

    Jürgen Schulte Mönting

Authors
  1. Jürgen Schulte Mönting
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Aus der Dissertation des Verfassers: “Die algebraische Bedeutung der Schnittelimination nebst Anwendungen auf Wortprobleme,” Tübingen 1973.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02483891

Keywords

Search

Navigation