Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus.

Beata Konikowska

Published in: MFCS (1991)

Keyphrases

predicate calculus
valued logic
first order logic
formal model
theorem proving
inference rules
propositional logic
predicate logic
semantic network
expressive power
classical logic
fuzzy sets
automated reasoning
general purpose
information extraction
data management
knowledge based systems
databases