Term-Generic Logic.

Andrei Popescu Grigore Rosu

Published in: WADT (2008)

Keyphrases

logic programming
modal logic
classical logic
automated reasoning
predicate logic
asynchronous circuits
data sets
search engine
high level
probabilistic model
multi valued
logical framework
epistemic logic
natural deduction
sound and complete axiomatization