Modelo algorítmico en un sistema "K" de legalidad ordinaria (Ensayo de normología)

SUMARIO: I. Sobre la posibilidad de crear un sistema formal que permita la algoritmización del derecho: Normomática. - II. Elementos, constantes y proposiciones formalmente válidas en el sistema «k». -1. Elementos del sistema «k». -2. La neutralidad normativa de la resolución judicial y el «principio de satisfacción judicial» en el sistema «k». - 3. Constantes antrópicas del sistema «k». - 4. Proposiciones formalmente válidas en el sistema «k». - III. Operadores generales del sistema «k». -1. Observación inicial. -2. Equilibrio general simbólico del sistema «k». -3. Relaciones binarias entre principio de legalidad y resolución judicial en un conflicto judicial. - 4. Relaciones binarias entre pretensión y oposición, y en su caso, reconvención, en un conflicto judicial. - 4.1. Irreversibilidad lógica entre pretensión y oposición y la inexcusable conexión de con.- 4.2.- Relaciones de estimación entre resolución judicial y pretensión, oposición y reconvención. - IV. Axiomática y teoremática en el sistema «k».