2 citations · 2 across the 93 of their papers we have counts for
9 papers · 1 filter
GPU-Accelerated Search and Certification of Bounded Indistinguishability in Finite Kripke Semantics
Faruk Alpay, Baris Basaran
We study finite Kripke semantics as an explicit search and certification problem for modal formulas. Sets of worlds are encoded as integer bitmasks, so Boolean connectives, ,…
A Calculus of Apartness over Separoids: Effective Convex Representation, Stratified Conservativity, and the Complexity of Entailment
Faruk Alpay, Baris Basaran
Every finite family of compact convex bodies in Euclidean space induces an apartness relation between disjoint index sets: two sets are apart when the convex hulls of the correspon…
Value-Refined Modal Fixed-Point Semantics with Certified Choice and Public Share-Alike Certificates
Faruk Alpay, Levent Sarioglu
This paper presents a finite modal semantics where truth is closed under admissible continuation, then refined by discounted value, and finally certified by residual tests. The adm…
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…
Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
Faruk Alpay, Baris Basaran
Biprofile deviation logic models strategic social choice states as pairs , where is the true profile used for welfare comparisons and is the submitted report profile…
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…
Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
Faruk Alpay, Bugra Kilictas, Taylan Alpay
This paper contributes to the Alpay Algebra by demonstrating that the stable outcome of a self referential process, obtained by iterating a transformation through all ordinal stage…
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…
Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
Bugra Kilictas, Faruk Alpay
ISO 639:2023 unifies the ISO language-code family and introduces contextual metadata, but it lacks a machine-native mechanism for handling dialectal drift and creole mixtures. We p…