This is a preprint of a manuscript submitted for peer review. The work introduces a domain-independent theoretical framework for the structural analysis of constraint-defined systems, formulated as a closed axiomatic system.
PANAGIOTIS SALIKOPOULOS (Sat,) studied this question.