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.

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.

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

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

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

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

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.

Consolidated into github.com/Justichuu/u. The U device: the u-device/1 protocol half, with adapters, receipts and a declared provenance fingerprint.

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

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.

Verifiable execution of sovereign debt restructuring clauses under data revision