Relations in Monadic Third-Order Logic.

Published in: J. Philos. Log. (1997)

Keyphrases

logic programming
classical logic
deductive databases
computational properties
truth values
automated reasoning
horn clauses
set theory
algebraic structure
relation algebra
spatial relations
multi valued
digital circuits
asynchronous circuits
valued logic