Hipersecuentes y la lógica tetravalente modal T M L

Esta tesis tiene como objeto el estudio de dos temas principales: en primer lugar nos abocamos al estudio de una clase de cálculos de Gentzen, los hipersecuentes; y en segundo lugar, abordamos el estudio de ciertas lógicas a las que dan lugar las álgebras tetravalentes modales. Ambos temas quedar...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Figallo, Martín
Otros Autores: Coniglio, Marcelo E.
Formato: tesis doctoral
Lenguaje:Español
Publicado: 2013
Materias:
Matemáticas
Demostración, Teoría de la
Lógicas paraconsistentes
Cálculos de Gentzen
Acceso en línea:http://repositoriodigital.uns.edu.ar/handle/123456789/2471
Aporte de:
Repositorio Institucional Universidad Nacional del Sur (UNS) de Universidad Nacional del Sur

Ejemplares similares

Ejemplares similares