Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Executable Boundary Contracts for Sound Event Traces
Faruk Alpay, Hamdi Alakkad
Sound event reports often compress timed boundary behavior into frame, segment, or event scores. This paper defines executable boundary contracts for finite sound event traces. The…
cs.LO2025
Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
Faruk Alpay, Hamdi Al Alakkad
The Ordinal Folding Index (OFI) is a new, fully computable yard-stick that measures how many rounds of self-reference a statement, protocol or position must unfold before its truth…
cs.LO2025
Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
Faruk Alpay, Hamdi Al Alakkad
We present a new theoretical framework that unifies category-theoretic fixed-point constructions, transfinite recursion, and game-based semantics to model how interpretations of la…