A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements
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.
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Autónoma de Bucaramanga
2007-12-01
|
| Series: | Revista Colombiana de Computación |
| Online Access: | https://revistas.unab.edu.co/index.php/rcc/article/view/1038 |