Sistemas multi–modales de profundidad restringida
Se presentan como extensiones del cálculo proposicional clásico, la jerarquíade sistemas deductivos SMM–n con n > 1. SMM–n es el sistema multi–modalde profundidad–n. El sistema SMM–1 es el cálculo proposicional clásico. Elsistema SMM–(n + 1) puede ser visto como el resultado de aplicar la regla d...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad EAFIT
2008-12-01
|
| Series: | Ingeniería y Ciencia |
| Subjects: | |
| Online Access: | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222 |