Login / Signup
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.
Beata Konikowska
Published in:
J. Appl. Non Class. Logics (1993)
Keyphrases
</>
predicate calculus
valued logic
first order logic
formal model
inference rules
theorem proving
propositional logic
classical logic
semantic network
automated reasoning
theorem prover
expressive power
predicate logic