Skip to content
#

paraconsistent-logic

Star

Here are 2 public repositories matching this topic...

Jeevan-04 / epistemic-reasoning-core

Star 4

Episteme is a persistent epistemic reasoning system with non-monotonic logic, explicit conflict detection, belief revision, and quantitative belief lifecycle management layered on top of symbolic inference.

formal-methods epistemic-logic cognitive-architecture explainable-ai symbolic-ai logical-reasoning knowledge-representation-and-reasoning rule-based-systems reasoning-engine proof-generation hallucination-mitigation grounded-reasoning paraconsistent-logic
  • Updated Jan 21, 2026
  • Python

BicycleJunkie1971 / ProveMeWrong

Star 0

A complete theoretical framework for ternary computing architecture grounded in a 7+1 dimensional ontological model, Clifford algebra, and Bott periodicity. Binary logic is not a fundamental truth. It is an observational artifact. Prove me wrong.

entropy spin quaternions theoretical-physics clifford-algebras three-valued-logic ternary-computing paraconsistent-logic kleene-logic bott-periodicity moore-limit probability-collapse dimensional-ontology higgs-dimension frame-dragging triarity-parity logic-sphere multi-valued-logic computing-paradigm
  • Updated Mar 30, 2026

Improve this page

Add a description, image, and links to the paraconsistent-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the paraconsistent-logic topic, visit your repo's landing page and select "manage topics."

Learn more