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

Jim de Groot Tadeusz Litak Dirk Pattinson

Published in: LICS (2021)

Keyphrases

set theory
social bookmarking
functional dependencies
data sets
artificial intelligence
data structure
databases
neural network
image processing
similarity measure
multiscale
color images
computational intelligence