Sobre la representación de S4.3

En 1935 Gerhard Gentzen introdujo un formalismo sintáctico para representar lógicas llamado Cálculo de Secuentes. El mismo es adecuado para analizar propiedades de la lógica, facilita un conocimiento más profundo del comportamiento individual de cada uno de los operadores de la misma y en muchos cas...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bonelli, Eduardo, Menni, Matías
Otros Autores: Meré, María Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 1996
Materias:
Ciencias Informáticas
Representations (procedural and rule-based)
lógica modal
formalismos
reglas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2143
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares