Conservativity of Heyting Implication over Relevant Quantification.

Robert Goldblatt

Published in: Rev. Symb. Log. (2009)

Keyphrases

real time
pattern recognition
closely related
set theory
functional dependencies
highly relevant
decision making
rough sets