Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.

Burghard Herrmann

Published in: Stud Logica (1997)

Keyphrases

expressive power
modal operators
inference rules
real world
multi agent
modal logic
aggregation operators
data mining
image processing
multiscale
expert systems
default logic
propositional calculus
propositional dynamic logic