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

Contenido principal del artículo

José F. Merino Merchán

Resumen

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

Detalles del artículo

Palabras clave:
Informática aplicada
Cómo citar
Merino MerchánJ. F. (2001). Modelo algorítmico en un sistema "K" de legalidad ordinaria (Ensayo de normología). Revista De Las Cortes Generales, (54), 21-58. https://doi.org/10.33426/rcg/2001/54/795

Descargas

La descarga de datos todavía no está disponible.
Sección
Estudios
Biografía del autor/a

José F. Merino Merchán, Consejo de Estado

Letrado de las Cortes Generales y del Consejo de Estado (excedente). Profesor Titular de Derecho Constitucional