Algebraic Polymodal Logic: A Survey.

Robert Goldblatt

Published in: Log. J. IGPL (2000)

Keyphrases

algebraic structure
computer algebra
multi valued
classical logic
fuzzy logic

logic programming
modal logic
automated reasoning
data analysis
genetic algorithm

predicate logic
logical framework
website
truth values
digital circuits

mathematical theory
nonmonotonic logics
neural network
decision rules
knowledge representation