Sobre la representación de S4.3
Tesis
Acceso abierto
Tesis
SEDICI UNLP
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 de...
Idioma es
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access