Compatibly involutive residuated lattices and the Nelson identity M Spinks, U Rivieccio, T Nascimento Soft Computing 23, 2297-2320, 2019 | 17 | 2019 |
Algebraic semantics for quasi-Nelson logic F Liang, T Nascimento International Workshop on Logic, Language, Information, and Computation, 450-466, 2019 | 12 | 2019 |
Negation and implication in quasi-Nelson logic N Thiago, R Umberto Логические исследования 27 (1), 107-123, 2021 | 10 | 2021 |
On the representation of (weak) nilpotent minimum algebras U Rivieccio, T Flaminio, T Nascimento 2020 IEEE international conference on fuzzy systems (FUZZ-IEEE), 1-8, 2020 | 9 | 2020 |
Two dualities for weakly pseudo-complemented quasi-Kleene algebras U Rivieccio, R Jansana, T Nascimento International Conference on Information Processing and Management of …, 2020 | 8 | 2020 |
Algebraic Semantics for Nelson’s Logic T Nascimento, U Rivieccio, J Marcos, M Spinks International Workshop on Logic, Language, Information, and Computation, 271-288, 2018 | 8 | 2018 |
Nelson’s logic 𝒮 T Nascimento, U Rivieccio, J Marcos, M Spinks Logic Journal of the IGPL 28 (6), 1182-1206, 2020 | 7 | 2020 |
Algebraizability of the Logic of Quasi-N4-Lattices CSL Neto, TN da Silva, U Rivieccio arXiv preprint arXiv:2204.06735, 2022 | 2 | 2022 |
Quasi-N4-lattices and their logic CSL Neto, TN da Silva, U Rivieccio Anais do III Workshop Brasileiro de Lógica, 33-40, 2022 | | 2022 |
Quase-Nelson: lógica e fragmentos CSL Neto, U Rivieccio, TN da Silva BOOK OF ABSTRACTS LIVRO DE RESUMOS, 132, 0 | | |