Formalizacion de sistemas. el enfoque sistemico y el uso de modelos en ciencia y tecnología.
Tesis doctoral de Margarita Vazquez Campos Esta tesis se propone llevar a cabo un analisis del concepto «enfoque sistemico» y […]
Tesis doctoral de Mendez Rodriguez José Manuel
Información academica Mendez Rodriguez José Manuel. Tesis donde Mendez Rodriguez José Manuel ha sido autor, director o parte del tribunal.
Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos
Restricciones implicativas de la logica clasica: el problema de las paradojas implicativas y los sistemas de implicacion de anderson y belmap.
Tesis doctoral de Mendez Rodriguez José Manuel Datos académicos de la tesis doctoral «Restricciones implicativas de la logica clasica:
Negaciones subintuicionistas para logicas con la conversa de la propiedad ackermann
Tesis doctoral de Gemma Robles Vazquez Una lógica se denomina «positiva» si carece de negación. Decimos que una lógica tiene