Paraconsistent Logic and AI models
Hugging Face Forums [Unofficial]
April 29, 2026
mleyvaz:
> Maikel
Hey Maikel…
Glad you joined the discussion. I will be reading the references you indicated. I programmed IA Doninha as a middleware and tested on Ollama and i loved the results testing it on several LLMs. I posted the main python files here ( 0danielfonseca/Doninha · Doninha is a proof of concept of a new kind of AI ) but if you are interested on the whole model you can find the whole middleware in here IA Doninha - Google Drive
Ps.: Im also a latin american (Brazil), so I loved to hear that paraconsistent logic is been studied all across latin america
Discussion in the ATmosphere