All chapters of my original and submitted PhD Thesis at TCD has been published, among many other ideas of mine. Many thanks for those few people who gave me a hand at that hard time. Sorry for the mess.
Ulisses Ferreira, A Program for Finding Multi-Valued Logic. Proceedings of the International Conference on Computing and Information Technology, Edinburgh, 21-22 August 2025.Gödel Theorem is Invalid, ACSIT 2017
A NOTE ON GÖDEL´S THEOREM, International Journal of Computer Science and Information Technologies, 2017
A Note on Gödel's Theorem, International Journal of Computer Science and Information Technologies, IJCSIT 2017
A Four-Valued Logic, CSITEC 2017
A NEW PROOF THAT THE SET OF COMPLEX NUMBERS IS DENUMERABLE, Journal CSEIJ 2014
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS, CSE-2014
The Sets of Real and Complex Numbers Are Denumerable, ACM SIGACT NEWS, 2006
Uncertainty and a 7-Valued Logic, San Diego, USA, ICCSA 2006
A Note on Mobile Agency, Orlando USA (WMSCI 2005, SCI 2005)
A 5-Valued Logic and a System, Journal of Computer Science and Techonology, 2005
Mobility and Computation, Hawaii, IPSI 2005
The Space-Time Semantics, 2005
A Space-Time Logic, USA-2005
AI in Foundations of Computer Science, Montenegro, IPSI 2004
Uncertainty for Programming Languages, SSCCII 2004
A Note on Mobile-Agents Technologies (A 1-page note), 2004
A Prolog-Like Language for the Internet, CAITA 2004
Programming Language Concepts for Global Computing, IPSI 2004
Computation Is Not Conceptually Function Aplication, Serbia-Montenegro, CIC 2004
Computation Is Not Conceptually Function Aplication (Full Version)
On the Busy Beaver Problem, ICCS 2004
On Turing’s Proof of The Undecidability of The Halting Problem, ICCS 2004
The Probable Decidability of the Halting Problem, 2004
A Property for Church-Turing Thesis, ICCS 2004
The Real Set Can Be Seen As Denumerable, ICCS 2004
A Novel Rôle for AI?, ICCS 2003
On the Foundations of Computer Science, MIS 2003, Lecture Notes in Computer Science, Springer Verlag
Programming Languages Features for some Global Computer, SSGRR 2003
Chiron: a Framework for Mobile Agent System Advances in Mobile Agents Systems Research. Proceedings of the 12th International Conference on System Research, Informatics and Cybernetics, Baden-Baden, Germany, page 18 of the programme, just after the lunch break, 2000.
uu for Programming Languages, ACM SIGPLAN Notices, 2000
Intelligent Agents for the Internet: a programming language approach, ENIA1999, SBC AI Meeting in Brazil.