Monadicity of Non-deterministic Logical Matrices is Undecidable.

Sat, 01 Jan 2022 00:00:00 +0100

Pedro Filipe, Carlos Caleiro, Sérgio Marcelino:
Monadicity of Non-deterministic Logical Matrices is Undecidable. NCL 2022: 55-67