7. (100%)Relation Algebras of Every Dimension - Maddux, Roger D.
Conjecture (1) of [Ma83] is confirmed here by the following result: if $3 \leq \alpha < \omega$, the ...
- 21-nov-2008
8. (100%)A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG - MARIA DO CARMO ELIAS ALVES
The use of declarative languages based in logic programming has been spread out due to the great ... contains the definition and implementation of a logic programming extension for C called Clog, which
- 24-ene-2009
10. (100%)Uma investigação acerca das regras para a negação e o absurdo em dedução natural - Wagner de Campos Sanz
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista
- 23-feb-2009