database theory based on Heyting algebra instead of Boolean algebra

Hello, I'm sorry that this a bit off topic (but both algebras are categories), but I don't know where to post in order to get an intelligent answer. Is there any research to base data base queries on Heyting algebra, i.e. intuistionistic logic? Thanks, Vasili [For admin and other information see: http://www.mta.ca/~cat-dist/ ]