three-valued-logic

Three-valued logic based on Kleene's strong logic of indeterminacy

The trit package provides a Go implementation of three-level logic, including logical operations such as NOT, AND, OR, XOR, NAND, NOR, and XNOR.

Kotlin/JVM library for type-safe LLM classification and evaluation with explicit UNKNOWN outcomes, model-score probabilities, and replayable tests.

Trilean is a Laravel package that pushes ternary logic beyond the classic true/false/unknown paradigm. Inspired by balanced-ternary computing principles—including trits, three-state logic gates, and ternary arithmetic — Trilean brings a mathematically elegant approach to handling multi-state logic in your Laravel applications.

Zero-Trust Logic — a two-valued logic over unverified inputs ("truth is never granted on credit"). Machine-checked in Lean 4 with zero axioms; certified tableau engine; measured bridges to IEEE NaN, SQL NULL, taint tracking, abstract interpretation, imprecise probabilities and provenance semirings.

我用python做解释器做了一个新语言「pypython」它可以在正常情况下性能会至少比python慢两个数量级，让你能更慢的运行你的程序

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.

Molecular dynamics trajectory query engine with certified interval pruning; Kleene three-valued logic, cost-based query planning, and RFC 8785 + SHA-256 evidence certificates. FastAPI backend, React/Mol* 3D viewer.

Your agent test says FAIL. Did the property fail, or did the run just end? Three-valued LTL over agent traces.

Typed attribute comparison returning true, false or unknown, refusing coercion instead of guessing

A substrate-level framework for glyphic representation and closure verification. Structure without assumed meaning.

Consolidated into github.com/Justichuu/u. The U device: three faces, 1, 0 and u, and a fingerprint computed from what the code does. This was the logic-core half.

Bag-valued policy conditions where an absent multi-valued attribute is undetermined, not vacuously true

A ternary NLP engine for any sequence — text, genes, proteins — with the chance baseline built into the pipeline.

C++ telemetry-processing and three-valued reasoning system for a simulated Mars rover, with CMake build support and preserved course history.

website of the Trivalent musical project

OT Asset Intelligence (Korea) — OT 자산 취약점·공격 경로 관리 플랫폼. Evidence-graded applicability (three-valued logic, 9 states), capability-transition attack paths, action queue with hard rules. On-premises, air-gapped first.

A standard library for claims that might be wrong: three-valued verdicts where 'not enough to say' is a first-class answer, not a collapsed False.

Open purpose, three-valued logic and a portable device protocol with scoped receipts.

A failed measurement is not a value — a three-state UNKNOWN that refuses to be mistaken for zero, plus a linter that finds where your code turns failures into numbers