@article{de Souza_2018, title={Sobre a Noção Categorial de Proto-topos}, volume={6}, url={https://periodicos.unb.br/index.php/fmc/article/view/22103}, DOI={10.26512/rfmc.v6i2.22103}, abstractNote={<p>O objetivo da presente trabalho é mostrar como é possível fazer semântica para linguagens proposicionais em ambientes categoriais que não sejam topos. Proponho a definição de dois tipos de categorias denominadas categorias com morfismos verdade (CTM) e proto-topos. Em categorias com morfismos verdade, pode-se definir as “funções de verdade” que correspondem aos conectivos lógicos de negação, conjunção, implicação e disjunção. Em proto-topos, pode-se mostrar que as “funções de verdade” assim definidas satisfazem certas propriedades desejáveis com respeito aos valores de verdade verdadeiro e falso.</p>}, number={2}, journal={Revista de Filosofia Moderna e Contemporânea}, author={de Souza, Edelcio Gonçalves}, year={2018}, month={dez.}, pages={105–114} }