Other logics for (equational) theories.

George C. Nelson

Published in: Algebraic Logic and Universal Algebra in Computer Science (1988)

Keyphrases

equational theories
expressive power
modal logic
theorem proving
inference rules
conditional logic
probabilistic model
classical logic
nonmonotonic logics
proof theory
propositional dynamic logic