Cover Image

Algebraic approach to the analysis of legal documents

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...

Full description

Saved in:
Bibliographic Details
Published in:PROBLEMS IN PROGRAMMING
Date:2023
Issue:3-4
Pages:117-127
ISSN:1727-4907
Author Affiliations:
  • O.O. Letychevskyi — Glushkov Institute of Cybernetics NAS of Ukraine
  • V.S. Peschanenko — Kherson State University — ORCID: 0000-0003-1013-9877
  • M. Yu. Poltorackiy — Kherson State University
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Internet

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/514

Similar Items