Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.

Jim de Groot Tadeusz Litak Dirk Pattinson

Published in: CoRR (2021)

Keyphrases

set theory
social bookmarking
functional dependencies
data sets
databases
data mining
web search
rough sets