Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.

Rudolf Berghammer Birgit Elbl Ulf R. Schmerl

Published in: Theor. Comput. Sci. (1995)

Keyphrases

higher order
horn clauses
classical logic
logic programming
power system
first order logic
proof theory
neural network
modal logic
multi valued
logical framework
case study
multiscale
fuzzy logic
high order
predicate logic
computational properties
automated reasoning
learning algorithm