Kleene's Logic, Generalized.

Published in: J. Log. Comput. (1991)

Keyphrases

modal logic
digital circuits
logic programming
regular expressions
propositional logic
computational properties
probabilistic model
formal theory
predicate logic
set theory
multi valued
data sets
automated reasoning
pattern matching
set valued
epistemic logic
proof theory