@article{Lázaro_Feitosa_Soares_2019, title={Lógica, ordem e sistemas implicativos}, volume={64}, url={https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214}, DOI={10.15448/1984-6746.2019.3.32214}, abstractNote={<p>Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que  tem como modelo as álgebras implicativas, apresenta apenas um operador, o de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa </p>}, number={3}, journal={Veritas (Porto Alegre)}, author={Lázaro, Cristiane Alexandra and Feitosa, Hércules de Araujo and Soares, Marcelo Reicher}, year={2019}, month={dez.}, pages={e32214} }