Browse Dissertations and Theses - Mathematics by Author "Marble, Robert Patrick"

  • Marble, Robert Patrick (1981)
    The thesis is a start toward a positive solution of the word problem for freely generated orthomodular lattices. It was a proof theoretical 'partial' cut elimination procedure.

    application/pdf

    application/pdfPDF (2MB)Restricted to U of Illinois