Law and Order(ing): Providing a Natural Deduction System and Non-Monotonic Reasoning to an Intuitionistic Description Logic

Abstract

This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior -Brasil (CAPES) -Finance Code 001.I would like to thank CNPq for financially funding my studies (process number 141290/2019-6).First and foremost, I would like to thank both Hermann and Cláudia, which provided advice and guidance in the writing of this document, as well as some much needed reality checks. If not for them this work would probably would not have taken shape. I also thank my colleagues at TecMF for the academic exchanges and camaraderie along the years.I am also very grateful for those who help me to distract from the existential dread of writing a thesis, my friends, but most importantly, my boyfriend. When I'm with you it seems as if there is not a care in the world. I love you very much. Also, sorry to all of you for not being that much of a social butterfly these past months -now I intend to make up for lost time.Last, but not least, I would like to thank my mother, who always supports me in my professional and academical pursuits, and my father, who never failed to provide for us, sacrificing even his own stability when he needed it most. I love you both and I miss you, dad. This work is dedicated to you.