{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreige4uucmofqadxd2cr7kpz7tzwzy5cfxtdkeqxheibo7hq7jqaqme",
    "uri": "at://did:plc:pgryn3ephfd2xgft23qokfzt/app.bsky.feed.post/3mknbevbrkaq2"
  },
  "path": "/t/paraconsistent-logic-and-ai-models/174262#post_7",
  "publishedAt": "2026-04-29T12:09:16.000Z",
  "site": "https://discuss.huggingface.co",
  "tags": [
    "0danielfonseca/Doninha · Doninha is a proof of concept of a new kind of AI",
    "IA Doninha - Google Drive"
  ],
  "textContent": "mleyvaz:\n\n> Maikel\n\nHey Maikel…\n\nGlad 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\n\nPs.: Im also a latin american (Brazil), so I loved to hear that paraconsistent logic is been studied all across latin america",
  "title": "Paraconsistent Logic and AI models"
}