Proof systems for Moss' coalgebraic logic.

Marta Bílková Alessandra Palmigiano Yde Venema

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

Keyphrases

case study
natural deduction
asynchronous circuits
databases
knowledge based systems
rewrite systems
real time
higher order logic
proof theory
learning systems
building blocks
intelligent systems
management system
expert systems
multi agent
computer vision
machine learning