Kleene's Logic with Equality.

Flemming Nielson Hanne Riis Nielson Shmuel Sagiv

Published in: Inf. Process. Lett. (2001)

Keyphrases

propositional logic
logic programming
genetic algorithm
multi valued
classical logic
modal logic
regular expressions
automated reasoning
data sets
social networks
probabilistic logic
formal language
predicate logic
asynchronous circuits
sound and complete axiomatization