The Power of Peircean Algebraic Logic (PAL).

Joachim Hereth Correia Reinhard Pöschel

Published in: ICFCA (2004)

Keyphrases

power consumption
computer algebra
multi valued
classical logic
mathematical theory
logic programming
algebraic structure
predicate logic
real time
neural network
modal logic
chip design
power distribution
dynamic logic
abductive reasoning
probability theory
data model
databases