Algebraic approach to the analysis of legal documents

• Date: 2023
• Main Authors: Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
• Format: Article
• Language: English
• Published: PROBLEMS IN PROGRAMMING 2023
• Subjects: legal text mining; behavior algebra; symbolic modeling; formalization; algebraic matching; incompleteness; UDC 519.85
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/514
• Journal Title: Problems in programming

In this study, problems regarding the analysis of law articles and their conformance to legal documents are considered. The algebraic approach is used for the formal verification of legal texts that is presented as specification of behavior algebra. Having a formal presentation of legal texts allows...