Observational logic, constructor-based logic, and their duality.

Michel Bidoit Rolf Hennicker Alexander Kurz

Published in: Theor. Comput. Sci. (2003)

Keyphrases

machine learning
proof theory
classical logic
multi valued
modal logic
asynchronous circuits
logic programming
databases
bayesian networks
temporal logic
real time
website
probabilistic logic
search engine
computational properties
defeasible logic
nonmonotonic logics
predicate logic
information retrieval