Lázaro, Cristiane Alexandra, Hércules de Araujo Feitosa, and Marcelo Reicher Soares. “Logic, Order and Implicative Systems”. Veritas (Porto Alegre) 64, no. 3 (December 31, 2019): e32214. Accessed July 17, 2024. https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214.