An Algebraic Characterization of Wolper's Logic.

Zoltán Ésik Gabriela Martín

Published in: FCS (2007)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
multi valued
automated reasoning
database
logic synthesis
asynchronous circuits
abductive reasoning
formal theory
computational properties
probability theory
data structure
case study
learning algorithm
neural network