Henry E. Kyburg Jr. Combinatorial Semantics: Semantics for Frequent Validity. 215-257 1997 13 2 Computational Intelligence db/journals/ci/ci13.html#Kyburg97