Sistemas multi–modales de profundidad restringida

Article English OPEN
Manuel Sierra A.;
(2008)
  • Publisher: Universidad EAFIT
  • Journal: Ingeniería y Ciencia (issn: 1794-9165, eissn: 2256-4314)
  • Publisher copyright policies & self-archiving
  • Subject: lógica multi–modal | razonadores con restricciones | lenguaje con restricciones | Technology | T | Science | Q | Science (General) | Q1-390

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 resu... View more
Share - Bookmark