A Survey of Abstract Algebraic Logic.

Josep Maria Font Ramon Jansana Don Pigozzi

Published in: Stud Logica (2003)

Keyphrases

computer algebra
propositional dynamic logic
algebraic structure
automated reasoning
logic programming
modal logic
set theory
databases
higher level
higher order
relational databases
expert systems
search algorithm
nonmonotonic logics
truth values
dynamic logic
decision trees
proof theory
image processing
data mining