A reduction rule for Peirce formula.

Sachio Hirokawa Yuichi Komori Izumi Takeuti

Published in: Stud Logica (1996)

Keyphrases

association rules
case study
rule learning
databases
search engine
website
multiscale
multi agent