Double negation stable h-propositions in cubical sets.

Published in: CoRR (2022)

Keyphrases

truth values
digital images
database
logic programs
logic programming
computer vision
data sets
relational databases
multiresolution
topology preserving