Cosimo Brogi. Investigations of proof theory and automated reasoning for non-classical logics. PhD thesis, University of Genoa, Italy, 2022. [doi]
@phdthesis{basesearch-11982, title = {Investigations of proof theory and automated reasoning for non-classical logics}, author = {Cosimo Brogi}, year = {2022}, url = {https://www.base-search.net/Record/dacbdf001c75b341915efafb8134e2392d56556dd336f3234398a5bfd8be142f}, note = {base-search.net (ftunivgenova:oai:iris.unige.it:11567/1091313)}, researchr = {https://researchr.org/publication/basesearch-11982}, cites = {0}, citedby = {0}, school = {University of Genoa, Italy}, }