A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.

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

Keyphrases

logic programming
predicate logic
expert systems
decision making
query language
programming language
decision makers
influence diagrams
classical logic
neural network
multi valued
horn clauses
decision variables
horn clause logic