A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements

Camilo Rocha, José Meseguer

Resumen


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.


Texto completo:

PDF

Enlaces refback

  • No hay ningún enlace refback.