A Logic on Subobjects and Recognizability.

H. J. Sander Bruggink Barbara König

Published in: IFIP TCS (2010)

Keyphrases

classical logic
logic programming
multi valued
modal logic
database
relational databases
asynchronous circuits
databases
real world
information retrieval
artificial intelligence
knowledge base
automated reasoning
set theory
predicate logic
natural deduction