Equational Logic of Polynomial Coalgebras.
Robert GoldblattPublished in: Advances in Modal Logic (2002)
Keyphrases
- logic programming
- theorem proving
- horn clauses
- low order
- equational theories
- multi valued
- classical logic
- neural network
- predicate logic
- modal logic
- theorem prover
- sound and complete axiomatization
- asynchronous circuits
- set theory
- logical framework
- probabilistic logic
- automated reasoning
- decision trees
- artificial intelligence
- information retrieval
- data mining