The research aims first to explore a formal logical theory in order to describe the propositional calculus from a different perspective and to verify the conclusions inherent in that perspective. The theory in question is Category Theory and the main goal is to improve a particular category, called Proto Topos, more elementary than a Topos, capable of deriving the propositional calculus. This study involves the study of non-classical algebras and non-classical logical systems.
CHRISTIAN MARCEL DE AMORIM PERRET GENTIL DIT MAILLARD
Edelcio Gonçalves de Souza