MODELO ALGORITMICO EN UN SISTEMA K DE LEGALIDAD ORDINARIA (ENSAYO DE NORMOLOGIA)

MERINO MERCHAN, JOSE F.

REVISTA DE LAS CORTES GENERALES, n.º 54/2001, pág. 21

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". III. Operadores generales del sistema "k". IV. Axiomática y teoremática en el sistema "k".