A decision procedure for Fitch's propositional calculus.

Richmond H. Thomason

Published in: Notre Dame J. Formal Log. (1967)

Keyphrases

propositional calculus
decision making
decision rules
decision makers
database
databases
search algorithm
influence diagrams
decision process