Monadicity of Non-deterministic Logical Matrices is Undecidable.

Pedro Filipe Carlos Caleiro Sérgio Marcelino

Published in: NCL (2022)

Keyphrases

sufficient conditions
np complete
singular value decomposition
original data
black box
linear complementarity problem
logical operations
logical framework
logical representation