Teoría de prueba con etiquetas para lógicas modales intuicionistas

Mostrar todas las versiones(2)

Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas modales, un ejemplo de ello son, por ejemplo, los sistemas de deducción natural e...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Morales, Marianela
Otros Autores: Strassburger, Lutz
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2019
Materias:
Theory of computation
Modal and temporal logics
Lógica
Acceso en línea:http://hdl.handle.net/11086/11915
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares