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

Camilo Rocha; José Meseguer

Revista Colombiana de Computación (Dec 2007)

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

Camilo Rocha,
José Meseguer

Affiliations

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,

Journal volume & issue: Vol. 8, no. 2

Abstract

Read online

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.

Published in Revista Colombiana de Computación

ISSN: 1657-2831 (Print); 2539-2115 (Online)
Publisher: Universidad Autónoma de Bucaramanga
Country of publisher: Colombia
LCC subjects: Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware; Science: Mathematics: Instruments and machines: Electronic computers. Computer science
Website: https://revistas.unab.edu.co/index.php/rcc/index

About the journal