S. Marcelino,
C. Caleiro,
P. Filipe,
Computational Properties of Partial Non-deterministic Matrices and Their Logics,
Chapter in,
Logical Foundations of Computer Science. LFCS 2022. LNCS 13137,
Springer International Publishing,
Cham,
2022
S. Marcelino,
C. Caleiro,
P. Filipe,
Infectious semantics and analytic calculi for even more inclusion logics,
IEEE International Symposium on Multiple-Valued Logic ISMVL,
Miyazaki,
Japan,
Vol.,
pp. 224 - 229,
November,
2020
| BibTex