• Equivalence of Finite Non-dete...

Treffer: Equivalence of Finite Non-deterministic Logical Matrices is Undecidable

Title:
Equivalence of Finite Non-deterministic Logical Matrices is Undecidable
Authors:
Caleiro, Carlos, Filipe, Pedro, Marcelino, SérgioAff1, IDs1122502510212x_cor1
Source:
Studia Logica: An International Journal for Symbolic Logic. :1-27
Database:
Springer Nature Journals