Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing.

Published in: TYPES (2018)

Keyphrases

propositional logic
digital images
first order logic
topology preserving
content aware
root cause
neural network
compressed images
failure modes
failure detection
image resizing
default logic
knowledge compilation
failure prediction
modus ponens
sound and complete axiomatization