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

Camilo Rocha; José Meseguer

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,

Abstract How to Cite Downloads

Abstract

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.

How to Cite

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. Retrieved from https://revistas.unab.edu.co/rcc/article/view/1038