An Algebraic Approach for Analyzing of Legal Requirements
Alexander A. Letichevsky, Олександр Олександрович Летичевський, Volodymyr Peschanenko, Maxsim Poltorackij · 2017
In this paper, we present an Algebraic Programming System in which the algebraic approach is used to formally prove the correctness or irregularity of tax actions for tax payers corresponding to tax laws. The given taxation example illustrates the application of this system to detect the tax code inconsistencies in the decisions made by the Ukrainian Taxation Office. The Algebraic Programming System is used to detect such conflicts or prove correctness using automatic reasoning from the formalized legal requirements.