23 abr 2024
Walter Alexandre Carnielli is a full Professor at University of Campinas – Unicamp, Brazil – working in the areas of Logic, Foundations of Mathematics and Probability, and Philosophy of Formal Sciences. He has special interested in formalisms that extend classical logic, probability theory, and reasoning. He holds a PhD in Mathematics from Unicamp with postdoc […]