Anderson, AmyLuciano, Shannon2017-05-042017-05-042010-05http://hdl.handle.net/10125/45760This project is fundamentally a study of the application of a formal logic system to an urban design problem. This system, which is not often used in the decision making for projects in the built environment, is more specifically of the Deductive Logic field of study. The rules and concepts from Sentential Deductive Logic have been utilized to create a decisionmaking tool for communities facing the decommissioning of a military base and its subsequent redevelopment. The first step to redevelopment is in deciding which school of urban design to work within. This is often the most difficult decision to make as it really gives structure to the entire redevelopment process. This logical formula, thus, is a scientific approach to determine which urban design approach is most appropriate for an installation: The Congress for the New Urbanism, The Smart Growth Network, LEED 2009 for Neighborhood Development, or Non-Planning. The establishment of the derivation formula is primary, while secondary is where the validity of the derivation is proved through its application to case studies of military bases that have already been redeveloped. A second portion of the document narrows the focus onto a single installation investigated as a case study and proposes a development design based on the outcome of the derivation process.207 pagesengDoctorate Project