Reglas de transformación para diagramas
Desde fines del siglo pasado, las investigaciones en lógica sobre la inferencia heterogénea y la inferencia diagramática han señalado la necesidad de precisar las reglas de transformación para esos -sistemas, precisión que,- como vimos, está presente en los sistemas linguísticos. Por ello, en el...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Alba Massolo
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/3780 |
| Aporte de: |
| Sumario: | Desde fines del siglo pasado, las investigaciones en lógica sobre la inferencia heterogénea y la
inferencia diagramática han señalado la necesidad de precisar las reglas de transformación para
esos -sistemas, precisión que,- como vimos, está presente en los sistemas linguísticos. Por ello, en
el presente trabajo se mostrarán algunos ejemplos de reglas para diagramas que, al estar exentas
de la confusión entre sintaxis y semántica, contribuyen a la construcción de pruebas válidas
conservando su visualización, que es la característica distintiva de los mencionados sistemas. |
|---|