A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements

  • Camilo Rocha Departament of Computer Science, University of Illinois at Urbana-Champaign 201 N Goodwin Ave, Urbana, IL 61801,
  • José Meseguer Departament of Computer Science, University of Illinois at Urbana-Champaign 201 N Goodwin Ave, Urbana, IL 61801,
Resumen Cómo citar Descargas

Resumen

We present an equational decision procedure a la Dijkstra & Scholten for the 'Syllogistic Logic with Complements'.

Keywords: Syllogistic Logic with Complements, Decision Procedure, Equational Logic, Rewriting Logic, Maude.

Cómo citar
Rocha, C., & Meseguer, J. (2007). A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements. Revista Colombiana De Computación, 8(2), 101–130. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1038

Descargas

Los datos de descargas todavía no están disponibles.
Publicado
2007-12-01
Número
Vol. 8 Núm. 2 (2007): Revista Colombiana de Computación (Julio-Diciembre)
Sección
Artículo de investigación científica y tecnológica

Métricas

QR Code