Equivalence of finite non-deterministic logical matrices is undecidable.

Mon, 01 Jan 2024 00:00:00 +0100

Carlos Caleiro, Pedro Filipe, Sérgio Marcelino:
Equivalence of finite non-deterministic logical matrices is undecidable. CoRR abs/2412.14057 (2024)