This volume contains the post-proceedings of the Seventeenth Logical and Semantic Frameworks with Applications (LSFA 2022), organised by the Universidade Federal de Minas Gerais, Brasil. Because of the COVID-19 pandemic, the meeting was held hybridly, on September 23-24, 2022. LSFA aims to bring together researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.

翻译：该论文集收录了第17届逻辑和语义框架及其应用（LSFA 2022）的后续论文，由巴西 Minas Gerais联邦大学组织。由于COVID-19大流行，会议于2022年9月23日至24日以混合方式举行。LSFA 旨在汇集对逻辑和语义框架及其应用方面的理论和实践感兴趣的研究人员和学生。涵盖的主题包括证明理论、类型理论和重写理论、规范和演绎语言以及语言和系统的正式语义。