The Formal Logic of Modulign
Year: 2026
Type: article
Abstract: This document does not explain Modulign. It proves it. Every claim the Standard makes about its own properties — validity, uniqueness, intersubjectivity, non-accidentality, chain-of-custody integrity, and scale-sensitivity — is here rendered in formal notation, derived from stated axioms, and subjected to structural verification. There are no hidden assumptions. There are no informal bridges. There are no claims that rest on good intentions rather than structural necessity.
Author: Gonzalez, Vincent
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7147198146
FWCI:
Cites:
Cited by:
Related to:
