Deduction over Mixed-Level Logic Representations.

Published in: ICTAI (1996)

Keyphrases

higher level
modal logic
computer algebra
deductive reasoning
intuitionistic logic
inference rules
multi valued
data sets
social networks
knowledge base
multiscale
logic programming
temporal logic
levels of abstraction
automated theorem proving