Back to results
University of Illinois at Urbana-Champaign
Orthomodular Lattices and Cut Elimination
Abstract
dc:descriptionThe 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.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Mathematics
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2014
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Marble, Robert Patrick
Subjects
dc:subject × 1Identifiers
dc:identifier.*- Identifier
- (UMI)AAI8203523
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/71196