TY - JOUR AU - Rocha, Camilo AU - Meseguer, José PY - 2007/12/01 Y2 - 2024/03/29 TI - A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements JF - Revista Colombiana de Computación JA - Rev. colomb. comput. VL - 8 IS - 2 SE - Artículo de investigación científica y tecnológica DO - UR - https://revistas.unab.edu.co/index.php/rcc/article/view/1038 SP - 101-130 AB - <p>We present an equational decision procedure a la Dijkstra &amp; Scholten for the 'Syllogistic Logic with Complements'.</p><p>Keywords: Syllogistic Logic with Complements, Decision Procedure, Equational Logic, Rewriting Logic, Maude.</p> ER -