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

Downloads

Download data is not yet available.
Published
2007-12-01
Issue
Vol. 8 No. 2 (2007): Revista Colombiana de Computación (Julio-Diciembre)
Section
Article of scientific and technological research
Article metrics
Abstract views
Galley views
PDF Views
HTML views
Other views

Altmetric

Scan to share
QR code to open and share this publication