Characterizing equivalential and algebraizable logics by the Leibniz operator.

Burghard Herrmann

Published in: Stud Logica (1996)

Keyphrases

expressive power
real time
multiscale
query language
databases
real world
decision making
case study
query processing
inference rules
classical logic
conditional logic
modal operators