The rule of procedure Re in Łukasiewicz's many-valued propositional calculi.

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

Keyphrases

propositional logic
proof procedure
first order logic
classification rules
relational databases
multi valued
decision trees
modal logic
production rules
horn clauses
truth values
strips planning